Ejemplo n.º 1
0
 public override IEnumerable <Term> Theory(TheoryEqualityExplanation target, object arg)
 {
     return(Enumerable.Empty <Term>());
 }
Ejemplo n.º 2
0
 public abstract R Theory(TheoryEqualityExplanation target, A arg);