Module State_set

module State_set: sig .. end
Functional sets of Cvalue.Model.t, currently implemented as lists without repetition.

type t = Cvalue.Model.t list 
val obviously_terminates : bool
val fold : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
Iterators
val of_list : 'a -> 'a
val iter : ('a -> unit) -> 'a list -> unit
val empty : 'a list
Creation
val is_empty : 'a list -> bool
Information
val exists : ('a -> bool) -> 'a list -> bool
val length : 'a list -> int
exception Unchanged
val pretty : Format.formatter -> Cvalue.Model.t list -> unit
val add_to_list : Cvalue.Model.t -> Cvalue.Model.t list -> Cvalue.Model.t list
val add_exn : Cvalue.Model.t -> Cvalue.Model.t list -> Cvalue.Model.t list
val merge_into : Cvalue.Model.t list -> Cvalue.Model.t list -> Cvalue.Model.t list
Raise Unchanged if the second set was already included in the first
val add : Cvalue.Model.t -> Cvalue.Model.t list -> Cvalue.Model.t list
Adding elements
val singleton : Cvalue.Model.t -> Cvalue.Model.t list
val join : Cvalue.Model.t list -> Cvalue.Model.t
Export
val to_list : 'a -> 'a