(* $Id: index.mli 9822 2009-06-03 15:37:06Z tassi $ *)
-module Superposition (B : Terms.Blob) :
+module Superposition (B : Orderings.Blob) :
sig
(* bag, maxvar, meeting point *)
int ->
B.t Terms.bag * (B.t Terms.unit_clause * Index.Index(B).active_set) option
+ val orphan_murder:
+ B.t Terms.bag ->
+ B.t Terms.unit_clause list ->
+ B.t Terms.unit_clause ->
+ bool
+
end