module State_set: sig
.. end
type
t
exception Unchanged
val pretty : Format.formatter -> t -> unit
val add : Relations_type.Model.t -> t -> t
val unsafe_add : Relations_type.Model.t -> t -> t
val fold : (Relations_type.Model.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (Relations_type.Model.t -> unit) -> t -> unit
val merge_into : t -> t -> t
val join : t -> Relations_type.Model.t
val join_dropping_relations : t -> Relations_type.Model.t
val exists : (Relations_type.Model.t -> bool) -> t -> bool
val is_empty : t -> bool
val length : t -> int
val empty : t
val singleton : Relations_type.Model.t -> t
val of_list : Relations_type.Model.t list -> t