libsail
Libsail.InterpreterSourcetype gstate = {registers : Value.value Ast_util.Bindings.t;allow_registers : bool;primops : (Value.value list -> Value.value) Value.StringMap.t;letbinds : Type_check.tannot Ast.letbind list;fundefs : Type_check.tannot Ast.fundef Ast_util.Bindings.t;typecheck_env : Type_check.Env.t;}type frame = | Done of state * Value.value| Step of string Lazy.t
* state
* Type_check.tannot Ast.exp Monad.t
* (string Lazy.t
* lstate
* (return_value ->
Type_check.tannot Ast.exp Monad.t))
list| Break of frame| Effect_request of string Lazy.t
* state
* (string Lazy.t
* lstate
* (return_value ->
Type_check.tannot Ast.exp Monad.t))
list
* effect_request| Fail of string Lazy.t
* state
* Type_check.tannot Ast.exp Monad.t
* (string Lazy.t
* lstate
* (return_value ->
Type_check.tannot Ast.exp Monad.t))
list
* stringand effect_request = | Read_reg of string * Value.value -> state -> frame| Write_reg of string * Value.value * unit -> state -> frame| Outcome of Ast.id
* Value.value list
* return_value ->
Type_check.tannot Ast.exp Monad.tval stack_string :
(string Lazy.t * lstate * (return_value -> Type_check.tannot Ast.exp Monad.t)) ->
string Lazy.tval default_effect_interp :
string Lazy.t ->
state ->
(string Lazy.t * lstate * (return_value -> Type_check.tannot Ast.exp Monad.t))
list ->
effect_request ->
frameval effect_interp :
(string Lazy.t ->
state ->
(string Lazy.t
* lstate
* (return_value ->
Type_check.tannot Ast.exp Monad.t))
list ->
effect_request ->
frame)
refval initial_state :
?registers:bool ->
?undef_registers:bool ->
Type_check.typed_ast ->
Type_check.env ->
(Value.value list -> Value.value) Value.StringMap.t ->
state