Theory Wasm_Checker_Printing

theory Wasm_Checker_Printing imports "../Wasm_Checker" begin 

definition "typing = b_e_type_checker"

end