module Splitter: sig .. end
sig
end
type pred = Caveat_mem.Make.WP.F.pred
Caveat_mem.Make.WP.F.pred
val split : 'a -> 'b -> 'b Bag.t
'a -> 'b -> 'b Bag.t