module BaseToHCESet:sig
..end
Maps froms Base.t
to set of HCE.t
.
include Datatype.S_with_collections
val empty : t
val add : Base.t -> Hcexprs.HCESet.t -> t -> t
val remove : Base.t -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val find : Base.t -> t -> Hcexprs.HCESet.t
Not_found
if the base is not in the map.val find_default : Base.t -> t -> Hcexprs.HCESet.t
returns the empty set when the key is not bound