val opt_interactive : bool refmodule State : sig ... endEach interactive command is passed this struct, containing the abstract syntax tree, effect info and the type-checking environment. Also contains the default Sail directory
type action = | ArgString of string * string -> action| ArgInt of string * int -> action| Action of State.istate -> State.istate| ActionUnit of State.istate -> unitval get_command : string -> (string * action) optionval all_commands : unit -> (string * (string * action)) listval generate_help : string -> string -> action -> stringval run_action : State.istate -> string -> string -> action -> State.istateval register_command : name:string -> help:string -> action -> unitThis is the main function used to register new interactive commands.