HExtlib.list_uniq (List.sort Pervasives.compare (aux context [] term))
;;
+module NCicHash =
+ Hashtbl.Make
+ (struct
+ type t = C.term
+ let equal = (==)
+ let hash = Hashtbl.hash_param 100 1000
+ end)
+;;
+
+let mk_appl he args =
+ if args = [] then he else
+ match he with
+ | NCic.Appl l -> NCic.Appl (l@args)
+ | _ -> NCic.Appl (he::args)
+;;