let monster = 100;;
-module Paramod (B : Terms.Blob) = struct
+module Paramod (B : Orderings.Blob) = struct
type szsontology =
| Unsatisfiable of (B.t Terms.bag * int * int list) list
| GaveUp
module IDX = Index.Index(B)
module Sup = Superposition.Superposition(B)
module Utils = FoUtils.Utils(B)
- module Order = Orderings.Orderings(B)
+ module Order = B
module WeightOrderedPassives =
struct
type t = B.t Terms.passive_clause