BUILT_DOMAIN.StateSet
Set of abstract states
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