package sail

  1. Overview
  2. Docs
val opt_interactive : bool Stdlib.ref
val opt_emacs_mode : bool Stdlib.ref
val opt_suppress_banner : bool Stdlib.ref
val opt_auto_interpreter_rewrites : bool Stdlib.ref
val ast : Type_check.tannot Ast.defs Stdlib.ref
val env : Type_check.Env.t Stdlib.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 Stdlib.ref
val register_command : name:string -> help:string -> action -> unit
val generate_help : string -> string -> action -> string
val run_action : string -> string -> action -> unit
OCaml

Innovation. Community. Security.