State (tmpl_dcr.Repl.State)

type runtime_state = {

ty_env : Ast.Syntax.type_expr' Common.Env.env;
label_types : Typing.Helper.event_type_value Stdlib.Hashtbl.Make(Stdlib.String).t;
expr_env : Ast.Syntax.expr Common.Env.env;
event_env : Ast.Syntax.event Common.Env.env;
program : Ast.Syntax.program;
previous_state : runtime_state option;
output : string;

}

val mk_runtime_state : 
  ?output:string ->
  ?ty_env:Ast.Syntax.type_expr' Common.Env.env ->
  ?label_types:
    Typing.Helper.event_type_value Typing.Helper.EventTypes.StringHashtbl.t ->
  ?expr_env:Ast.Syntax.expr Common.Env.env ->
  ?event_env:Ast.Syntax.event Common.Env.env ->
  Ast.Syntax.program ->
  runtime_state

val empty_runtime_state : runtime_state

val string_of_state : runtime_state -> string

val print_output : 
  ?previous_state:runtime_state ->
  (runtime_state, Ast.Error.detailed_error list) Stdlib.result ->
  (runtime_state, 'a) Stdlib.result

type cmd = {

params : string list;
description : string;
callback : (runtime_state -> (runtime_state, Ast.Error.detailed_error list) Stdlib.result) Cmdliner.Cmd.t;

}

val create_cmd : 
  (string * string list * string) ->
  (runtime_state ->
    (runtime_state, Ast.Error.detailed_error list) Stdlib.result)
    Cmdliner.Term.t ->
  (string * cmd) list ->
  (string * cmd) list