Mavryk_webassembly_interpretermodule Ast : sig ... endmodule Binary_exn : sig ... endmodule Decode : sig ... endmodule Durable_storage : sig ... endmodule Encode : sig ... endmodule Env : sig ... endmodule Error : sig ... endmodule Eval : sig ... endmodule Eval_num : sig ... endmodule Eval_vec : sig ... endmodule F32 : sig ... endmodule F32_convert : sig ... endmodule F64 : sig ... endmodule F64_convert : sig ... endmodule Free : sig ... endmodule Func : sig ... endmodule Fxx : sig ... endmodule Global : sig ... endmodule Host_funcs : sig ... endmodule I16 : sig ... endmodule I32 : sig ... endmodule I32_convert : sig ... endmodule I64 : sig ... endmodule I64_convert : sig ... endmodule I8 : sig ... endmodule Import : sig ... endmodule Input_buffer : sig ... endThis module implements a FIFO queue to model the input. The messages are queued in an input_buffer in their order of appearance in the inbox.
module Instance : sig ... endmodule Ixx : sig ... endmodule Lib : sig ... endmodule Memory : sig ... endmodule Memory_sig : sig ... endmodule Operators : sig ... endmodule Output_buffer : sig ... endThis module implements a bounded FIFO queue to model the outputs. Each element of the queue is a list of outbox messages produced on this level.
module Partial_memory : sig ... endmodule Partial_table : sig ... endmodule Proto_compat : sig ... endmodule Source : sig ... endmodule Spectest : sig ... endmodule Table : sig ... endmodule Table_sig : sig ... endmodule Tick_model : sig ... endThis module implements a generic tick model. These values were benchmarked from `MemoryCopy`, `MemoryFill` and `MemoryInit`.
module Types : sig ... endmodule Utf8 : sig ... endmodule V128 : sig ... endmodule Valid : sig ... endmodule Values : sig ... end