GenericRelationalValued.TermSet
Set of 'a Term.t
module BaseMap :
PatriciaTree.BaseMap_S
with type (_, _) value = unit
with type 'a key = 'a Term.t
Underlying basemap, for cross map/set operations
type t = unit BaseMap.t
type 'a key = 'a BaseMap.key
val empty : t
val is_empty : t -> bool
val cardinal : t -> int
val filter : polypredicate -> t -> t
val for_all : polypredicate -> t -> bool
val pretty :
?pp_sep:(Stdlib.Format.formatter -> unit -> unit) ->
polypretty ->
Stdlib.Format.formatter ->
t ->
unit
pp_sep
defaults to Format.pp_print_cut