Beispiel #1
0
 public override IEnumerable <Term> Direct(DirectEqualityExplanation target, object arg)
 {
     yield return(target.equality);
 }
Beispiel #2
0
 public abstract R Direct(DirectEqualityExplanation target, A arg);