| _,[] -> 1
;;
-module Utils (B : Terms.Blob) = struct
- module Subst = FoSubst;; (*.Subst(B) ;;*)
- module Order = Orderings.Orderings(B) ;;
+module Utils (B : Orderings.Blob) = struct
+ module Subst = FoSubst;;
+ module Order = B;;
let rec eq_foterm x y =
x == y ||