Module Caveat_mem.Make.Splitter


module Splitter: sig .. end

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