sig type data = t' val clear : unit -> unit val mem : int -> bool val find : int -> data val replace : int -> data -> unit val add : int -> data -> unit val iter : (int -> data -> unit) -> unit val length : unit -> int end