val opt_interactive : bool reftype istate = {ast : Type_check.tannot Ast_defs.ast;effect_info : Effects.side_effect_info;env : Type_check.Env.t;default_sail_dir : string;config : Yojson.Basic.t option;}Each interactive command is passed this struct, containing the abstract syntax tree, effect info and the type-checking environment. Also contains the default Sail directory
val initial_istate : Yojson.Basic.t option -> string -> istateval get_command : string -> (string * action) optionval all_commands : unit -> (string * (string * action)) listval generate_help : string -> string -> action -> stringval register_command : name:string -> help:string -> action -> unitThis is the main function used to register new interactive commands.