type freelist = {mutable dont_reuse : int list; |
mutable do_reuse : int list; |
min_free : int Stdlib.ref; |
}
include Make_2
type t = freelist
val create : min_free:int -> tval alloc : t -> intval free : t -> int -> unitval save : t -> fn:string -> unitval load_no_promote : fn:string -> tval load_and_promote_reuse : fn:string -> tval reload_and_promote_reuse : t -> fn:string -> unitval debug_to_string : t -> stringDebugging