| [],_ -> ~-1
| _,[] -> 1
;;
+
+let mk_id =
+ let id = ref 0 in
+ fun () -> incr id; !id
+;;
module Utils (B : Terms.Blob) = struct
module Subst = FoSubst.Subst(B) ;;
;;
(* may be moved inside the bag *)
- let mk_id =
- let id = ref 0 in
- fun () -> incr id; !id
- ;;
-
let mk_unit_clause maxvar ty proofterm =
let varlist =
let rec aux acc = function