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