unit -> object method add : string -> unit method get_next : string option method get_previous : string option method init_pos : unit end