Env (mavkit-l2-libs.Mavryk_webassembly

val error : string -> 'a

val type_error : Values.value -> Types.value_type -> 'a

val empty : 'a list -> unit

val single : 'a list -> 'b

val int : Values.value -> int

val abort : Host_funcs.host_func

val exit : Host_funcs.host_func

val register_host_funcs : Host_funcs.registry -> unit

val lookup : string -> Instance.extern