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