R.StateBindingsSet
Set of states and bindings (phi variables).
include Stdlib.Set.S with type elt = SSA_State.t * Ast.Program.Bindings.t
type elt = SSA_State.t * Ast.Program.Bindings.t
val empty : t
val is_empty : t -> bool
val cardinal : t -> int
val order : t -> t -> Std_extra.Types.order
val pp_set : ?pp_sep:unit Std_extra.Types.pp -> t Std_extra.Types.pp
pp_sep
default to Utils.pp_semicolon
(print semicolon and a cut)
val pp : t Std_extra.Types.pp
Prints semi-colon separated set, no external delimiters
val hash : t -> int