prove Wasm.Reduction.of_has_type_of_eval_ok_of_compile_ok

[github-actions]

tibi/Tibi/Props/Compiler.lean

Line 7 in 58ea612

-- TODO prove Wasm.Reduction.of_has_type_of_eval_ok_of_compile_ok

namespace Tibi

-- TODO prove Wasm.Reduction.of_has_type_of_eval_ok_of_compile_ok
/-
type mismatch
  Wasm.Reduction.local__get ↑x.idx