Functor Fol_split.SplitZoneInclusion


module SplitZoneInclusion: 
functor (M : sig
val union : string
val empty : string
val included : string
end) -> sig .. end
Parameters:
M : sig val union : string (* symbol for union *) val empty : string (* symbol for empty *) val included : string (* symbol for inclusion *) 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