Module Builtins_nonfree_malloc.Dynamic_Alloc_Bases

module Dynamic_Alloc_Bases: State_builder.Ref(Base.Hptset)(sig

val dependencies : State.t list
val name : string
val default : unit -> Base.Hptset.t
end)

include State_builder.S

type data 

val set : data -> unit

val get : unit -> data

val clear : unit -> unit