Module Fol_split.RuntimeInclusion


module RuntimeInclusion: SplitZoneInclusion(sig
val union : string
val empty : string
val included : string
end)

val flatten : Fol.term list -> Fol.term -> Fol.term list
val zunion : Fol.term list -> Fol.term
val included : Fol.term -> Fol.term -> Fol.pred Bag.t