module StoreInclusion: SplitZoneInclusion(sigval union : stringval empty : stringval included : stringend)
SplitZoneInclusion
(
sig
val union : string
string
val empty : string
val included : string
end
)
val flatten : Fol.term list -> Fol.term -> Fol.term list
Fol.term list -> Fol.term -> Fol.term list
val zunion : Fol.term list -> Fol.term
Fol.term list -> Fol.term
val included : Fol.term -> Fol.term -> Fol.pred Bag.t
Fol.term -> Fol.term -> Fol.pred Bag.t