Module Repl.Quit

Quit command

val term : (State.runtime_state -> 'a) Cmdliner.Term.t

term is a command-line term for the quit command, which exits the REPL by returning 0 and flushing all output buffers.

  • returns

    the command-line term for the quit command.