🍃 Wasm_2_0_0.v
Environment
Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Environment.Structs.V7.Wasm_2_0_0.
Include Wasm_2_0_0.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Environment.Structs.V7.Wasm_2_0_0.
Include Wasm_2_0_0.