sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Interactive
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 =
| ArgString of string * string -> action
| ArgInt of string * int -> action
| 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