Msat__.Heap
module type RANKED = Msat__.Heap_intf.RANKED
module type S = Msat__.Heap_intf.S
module Make : functor (X : RANKED) -> S with type elt = X.t