Chamo.Minibuffer
Minibuffers.
class minibuffer_history : unit -> object ... end
To use an history in minibuffer.
val history : unit -> minibuffer_history
class minibuffer : unit -> object ... end
The minibuffers. See code of Misc.input_string
or Misc.select_string
for an example of using the minibuffer.