Source file tezos_webassembly_interpreter.ml

(* generated by dune *)

(** @canonical Tezos_webassembly_interpreter.Ast *)
module Ast = Tezos_webassembly_interpreter__Ast

(** @canonical Tezos_webassembly_interpreter.Binary_exn *)
module Binary_exn = Tezos_webassembly_interpreter__Binary_exn

(** @canonical Tezos_webassembly_interpreter.Decode *)
module Decode = Tezos_webassembly_interpreter__Decode

(** @canonical Tezos_webassembly_interpreter.Durable_storage *)
module Durable_storage = Tezos_webassembly_interpreter__Durable_storage

(** @canonical Tezos_webassembly_interpreter.Encode *)
module Encode = Tezos_webassembly_interpreter__Encode

(** @canonical Tezos_webassembly_interpreter.Env *)
module Env = Tezos_webassembly_interpreter__Env

(** @canonical Tezos_webassembly_interpreter.Error *)
module Error = Tezos_webassembly_interpreter__Error

(** @canonical Tezos_webassembly_interpreter.Eval *)
module Eval = Tezos_webassembly_interpreter__Eval

(** @canonical Tezos_webassembly_interpreter.Eval_num *)
module Eval_num = Tezos_webassembly_interpreter__Eval_num

(** @canonical Tezos_webassembly_interpreter.Eval_vec *)
module Eval_vec = Tezos_webassembly_interpreter__Eval_vec

(** @canonical Tezos_webassembly_interpreter.F32 *)
module F32 = Tezos_webassembly_interpreter__F32

(** @canonical Tezos_webassembly_interpreter.F32_convert *)
module F32_convert = Tezos_webassembly_interpreter__F32_convert

(** @canonical Tezos_webassembly_interpreter.F64 *)
module F64 = Tezos_webassembly_interpreter__F64

(** @canonical Tezos_webassembly_interpreter.F64_convert *)
module F64_convert = Tezos_webassembly_interpreter__F64_convert

(** @canonical Tezos_webassembly_interpreter.Free *)
module Free = Tezos_webassembly_interpreter__Free

(** @canonical Tezos_webassembly_interpreter.Func *)
module Func = Tezos_webassembly_interpreter__Func

(** @canonical Tezos_webassembly_interpreter.Fxx *)
module Fxx = Tezos_webassembly_interpreter__Fxx

(** @canonical Tezos_webassembly_interpreter.Global *)
module Global = Tezos_webassembly_interpreter__Global

(** @canonical Tezos_webassembly_interpreter.Host_funcs *)
module Host_funcs = Tezos_webassembly_interpreter__Host_funcs

(** @canonical Tezos_webassembly_interpreter.I16 *)
module I16 = Tezos_webassembly_interpreter__I16

(** @canonical Tezos_webassembly_interpreter.I32 *)
module I32 = Tezos_webassembly_interpreter__I32

(** @canonical Tezos_webassembly_interpreter.I32_convert *)
module I32_convert = Tezos_webassembly_interpreter__I32_convert

(** @canonical Tezos_webassembly_interpreter.I64 *)
module I64 = Tezos_webassembly_interpreter__I64

(** @canonical Tezos_webassembly_interpreter.I64_convert *)
module I64_convert = Tezos_webassembly_interpreter__I64_convert

(** @canonical Tezos_webassembly_interpreter.I8 *)
module I8 = Tezos_webassembly_interpreter__I8

(** @canonical Tezos_webassembly_interpreter.Import *)
module Import = Tezos_webassembly_interpreter__Import

(** @canonical Tezos_webassembly_interpreter.Input_buffer *)
module Input_buffer = Tezos_webassembly_interpreter__Input_buffer

(** @canonical Tezos_webassembly_interpreter.Instance *)
module Instance = Tezos_webassembly_interpreter__Instance

(** @canonical Tezos_webassembly_interpreter.Ixx *)
module Ixx = Tezos_webassembly_interpreter__Ixx

(** @canonical Tezos_webassembly_interpreter.Lib *)
module Lib = Tezos_webassembly_interpreter__Lib

(** @canonical Tezos_webassembly_interpreter.Memory *)
module Memory = Tezos_webassembly_interpreter__Memory

(** @canonical Tezos_webassembly_interpreter.Memory_sig *)
module Memory_sig = Tezos_webassembly_interpreter__Memory_sig

(** @canonical Tezos_webassembly_interpreter.Operators *)
module Operators = Tezos_webassembly_interpreter__Operators

(** @canonical Tezos_webassembly_interpreter.Output_buffer *)
module Output_buffer = Tezos_webassembly_interpreter__Output_buffer

(** @canonical Tezos_webassembly_interpreter.Partial_memory *)
module Partial_memory = Tezos_webassembly_interpreter__Partial_memory

(** @canonical Tezos_webassembly_interpreter.Partial_table *)
module Partial_table = Tezos_webassembly_interpreter__Partial_table

(** @canonical Tezos_webassembly_interpreter.Proto_compat *)
module Proto_compat = Tezos_webassembly_interpreter__Proto_compat

(** @canonical Tezos_webassembly_interpreter.Source *)
module Source = Tezos_webassembly_interpreter__Source

(** @canonical Tezos_webassembly_interpreter.Spectest *)
module Spectest = Tezos_webassembly_interpreter__Spectest

(** @canonical Tezos_webassembly_interpreter.Table *)
module Table = Tezos_webassembly_interpreter__Table

(** @canonical Tezos_webassembly_interpreter.Table_sig *)
module Table_sig = Tezos_webassembly_interpreter__Table_sig

(** @canonical Tezos_webassembly_interpreter.Tick_model *)
module Tick_model = Tezos_webassembly_interpreter__Tick_model

(** @canonical Tezos_webassembly_interpreter.Types *)
module Types = Tezos_webassembly_interpreter__Types

(** @canonical Tezos_webassembly_interpreter.Utf8 *)
module Utf8 = Tezos_webassembly_interpreter__Utf8

(** @canonical Tezos_webassembly_interpreter.V128 *)
module V128 = Tezos_webassembly_interpreter__V128

(** @canonical Tezos_webassembly_interpreter.Valid *)
module Valid = Tezos_webassembly_interpreter__Valid

(** @canonical Tezos_webassembly_interpreter.Values *)
module Values = Tezos_webassembly_interpreter__Values