module type S =sig
..end
type
state
type
state_set
type
t
val empty : unit -> t
val merge_set_return_new : state_set -> t -> state_set
val join : t -> state Eval.or_bottom
val to_set : t -> state_set
val to_list : t -> state list
val pretty : Format.formatter -> t -> unit