package sail

  1. Overview
  2. Docs
val opt_interactive : bool ref
val opt_emacs_mode : bool ref
val opt_suppress_banner : bool ref
val opt_auto_interpreter_rewrites : bool ref
val arg : string -> string
val command : string -> string
type action =
  1. | ArgString of string * string -> action
  2. | ArgInt of string * int -> action
  3. | Action of unit -> unit
val reflect_typ : action -> Ast.typ
val commands : (string * (string * action)) list ref
val register_command : name:string -> help:string -> action -> unit
val generate_help : string -> string -> action -> string
val run_action : string -> string -> action -> unit