Ejemplo n.º 1
0
 public static Goal Is(this KRunner k, FreshVariable v, KPair set)
 {
     return(k.Membero(v, set));
 }