sig
  class minibuffer_history :
    unit ->
    object
      method add : string -> unit
      method get_next : string option
      method get_previous : string option
      method init_pos : unit
    end
  val history : unit -> Ed_minibuffer.minibuffer_history
  val max_size : int
  class minibuffer :
    unit ->
    object
      val mutable active : bool
      val mutable editable_from : int
      val mutable history : Ed_minibuffer.minibuffer_history option
      val mutable ignore_text_changed : bool
      val mutable more_key_bindings :
        (Okey.keyhit_state * (unit -> unit)) list
      val mutable on_active_change : bool -> unit
      val mutable on_complete : unit -> unit
      val mutable on_eval : unit -> unit
      val mutable on_text_changed : unit -> unit
      method active : bool
      method box : GObj.widget
      method clear : unit
      method complete : unit
      method eval : unit
      method eval_custom_key_binding : string -> unit
      method exit : unit -> unit
      method get_user_text : string
      method history_key_bindings : (Okey.keyhit_state * string) list
      method history_next : unit
      method history_previous : unit
      method insert : string -> unit
      method key_bindings : (Okey.keyhit_state * string) list
      method more_key_bindings : (Okey.keyhit_state * string) list
      method on_text_changed : unit
      method set_active : bool -> unit
      method set_history : Ed_minibuffer.minibuffer_history -> unit
      method set_more_key_bindings :
        (Okey.keyhit_state * (unit -> unit)) list -> unit
      method set_on_active_change : (bool -> unit) -> unit
      method set_on_complete : (unit -> unit) -> unit
      method set_on_eval : (unit -> unit) -> unit
      method set_on_text_changed : (unit -> unit) -> unit
      method set_size : unit
      method set_text : ?list:string list -> ?fixed:string -> string -> unit
      method set_user_text : string -> unit
      method string_of_list : string list -> string
      method wait : unit
    end
end