module Readline__input_loop:sig..end
type t
val create : ?text:string -> string list -> tval print : prompt:string -> map_out:(string -> string) -> t -> unitval contents : t -> stringtypeinput =[ `Backspace
| `Char of char
| `Delete
| `Down
| `End
| `Eof
| `Home
| `Left
| `Right
| `Tab
| `Unknown_escape of string * int option * int option
| `Up ]
val step : ?completion:(left:string -> right:string -> string list) ->
t ->
input -> t