module BaseToHCESet: sig .. end
sig
end
Base.t
HCE.t
include Hptmap_sig.S
val union : t -> t -> t
t -> t -> t
val inter : t -> t -> t
val find_default : Base.t -> t -> Hcexprs.HCESet.t
Base.t -> t -> Hcexprs.HCESet.t