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