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