Imandra_interactive.Linenoise
val do_init : unit -> unit
initialize linenoise. Idempotent
val save_history : unit -> unit
call before exit
val add_to_history : string -> unit
val get_line : prompt:string -> unit -> string option