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