Ident * RuleArgument list * Clause list
obj
IStructuralComparable
IStructuralEquatable
IComparable
ITuple
Type something to start searching.