sig
type
pred
val
split :
Mcfg
.assigns_method
->
Mcfg
.
Splitter
.pred
->
Mcfg
.
Splitter
.pred
Bag
.t
end