-let subsumption env table target =
- let _, _, (ty, left, right, _), tmetas = target in
+let subsumption env table target =
+ (*
+ let print_res l =
+ prerr_endline (String.concat "\n" (List.map (fun (_, subst, menv, ug,
+ ((pos,equation),_)) -> Inference.string_of_equality equation)l))
+ in
+ *)
+ let _, _, (ty, left, right, _), tmetas, _ = Equality.open_equality target in