public override IEnumerable <Term> RecursiveReference(RecursiveReferenceEqualityExplanation target, object arg)
{
return(Enumerable.Empty <Term>());
}
public abstract R RecursiveReference(RecursiveReferenceEqualityExplanation target, A arg);