Module Hcexprs.BaseToHCESet

module BaseToHCESet: sig .. end

Maps froms Base.t to set of HCE.t.


include Hptmap_sig.S
val union : t -> t -> t
val inter : t -> t -> t
val find_default : Base.t -> t -> Hcexprs.HCESet.t

returns the empty set when the key is not bound