Example #1
0
 public static Func <type, bool> ToPred <type>(this REquality <type, Unit> eq, type value) => e => eq.Equal(e, value);
Example #2
0
 public static bool Equal <type, mark>(this REquality <type, mark> that, type l, type r) => that.BinOp(l, r);
Example #3
0
 public AOptEq(REquality <val, mark> eq)
 {
     _eq = eq;
 }