Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 13 insertions, 2 deletions

diff --git a/src/interactive.mli b/src/interactive.mli
index b1df0630..933d0a46 100644
--- a/src/interactive.mli
+++ b/src/interactive.mli
@@ -62,6 +62,17 @@ val env : Env.t ref
 val arg : string -> string
 val command : string -> string
 
-val commands : (string * (string * (string -> unit))) list ref
+type action =
+  | ArgString of string * (string -> action)
+  | ArgInt of string * (int -> action)
+  | Action of (unit -> unit)
 
-val register_command : name:string -> help:string -> (string -> unit) -> unit
+val reflect_typ : action -> 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