sig
val
get : unit
->
Base
.
Hptset
.t
end