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