Theory Wasm_Type_Abs_Printing
theory Wasm_Type_Abs_Printing imports "../Wasm" begin
code_printing
type_constructor i32 ⇀ (OCaml) "I32Wrapper.t"
| type_constructor i64 ⇀ (OCaml) "I64Wrapper.t"
| type_constructor f32 ⇀ (OCaml) "F32Wrapper.t"
| type_constructor f64 ⇀ (OCaml) "F64Wrapper.t"
code_printing
constant zero_i32_inst.zero_i32 ⇀ (OCaml) "I32Wrapper.zero"
| constant zero_i64_inst.zero_i64 ⇀ (OCaml) "I64Wrapper.zero"
| constant zero_f32_inst.zero_f32 ⇀ (OCaml) "F32Wrapper.zero"
| constant zero_f64_inst.zero_f64 ⇀ (OCaml) "F64Wrapper.zero"
code_printing
constant wasm_wrap ⇀ (OCaml) "(I32Wrapper'_convert.wrap'_i64)"
| constant wasm_extend_u ⇀ (OCaml) "(I64Wrapper'_convert.extend'_u'_i32)"
| constant wasm_extend_s ⇀ (OCaml) "(I64Wrapper'_convert.extend'_s'_i32)"
| constant wasm_demote ⇀ (OCaml) "(F32Wrapper'_convert.demote'_f64)"
| constant wasm_promote ⇀ (OCaml) "(F64Wrapper'_convert.promote'_f32)"
code_printing
constant wasm_int_i32_inst.int_clz_i32 ⇀ (OCaml) "I32Wrapper.clz"
| constant wasm_int_i32_inst.int_ctz_i32 ⇀ (OCaml) "I32Wrapper.ctz"
| constant wasm_int_i32_inst.int_popcnt_i32 ⇀ (OCaml) "I32Wrapper.popcnt"
| constant wasm_int_i32_inst.int_add_i32 ⇀ (OCaml) "I32Wrapper.add"
| constant wasm_int_i32_inst.int_sub_i32 ⇀ (OCaml) "I32Wrapper.sub"
| constant wasm_int_i32_inst.int_mul_i32 ⇀ (OCaml) "I32Wrapper.mul"
| constant wasm_int_i32_inst.int_div_u_i32 ⇀ (OCaml) "I32Wrapper.div'_u"
| constant wasm_int_i32_inst.int_div_s_i32 ⇀ (OCaml) "I32Wrapper.div'_s"
| constant wasm_int_i32_inst.int_rem_u_i32 ⇀ (OCaml) "I32Wrapper.rem'_u"
| constant wasm_int_i32_inst.int_rem_s_i32 ⇀ (OCaml) "I32Wrapper.rem'_s"
| constant wasm_int_i32_inst.int_and_i32 ⇀ (OCaml) "I32Wrapper.and'_"
| constant wasm_int_i32_inst.int_or_i32 ⇀ (OCaml) "I32Wrapper.or'_"
| constant wasm_int_i32_inst.int_xor_i32 ⇀ (OCaml) "I32Wrapper.xor"
| constant wasm_int_i32_inst.int_shl_i32 ⇀ (OCaml) "I32Wrapper.shl"
| constant wasm_int_i32_inst.int_shr_u_i32 ⇀ (OCaml) "I32Wrapper.shr'_u"
| constant wasm_int_i32_inst.int_shr_s_i32 ⇀ (OCaml) "I32Wrapper.shr'_s"
| constant wasm_int_i32_inst.int_rotl_i32 ⇀ (OCaml) "I32Wrapper.rotl"
| constant wasm_int_i32_inst.int_rotr_i32 ⇀ (OCaml) "I32Wrapper.rotr"
| constant wasm_int_i32_inst.int_eqz_i32 ⇀ (OCaml) "I32Wrapper.eqz"
| constant wasm_int_i32_inst.int_eq_i32 ⇀ (OCaml) "I32Wrapper.eq"
| constant wasm_int_i32_inst.int_lt_u_i32 ⇀ (OCaml) "I32Wrapper.lt'_u"
| constant wasm_int_i32_inst.int_lt_s_i32 ⇀ (OCaml) "I32Wrapper.lt'_s"
| constant wasm_int_i32_inst.int_gt_u_i32 ⇀ (OCaml) "I32Wrapper.gt'_u"
| constant wasm_int_i32_inst.int_gt_s_i32 ⇀ (OCaml) "I32Wrapper.gt'_s"
| constant wasm_int_i32_inst.int_le_u_i32 ⇀ (OCaml) "I32Wrapper.le'_u"
| constant wasm_int_i32_inst.int_le_s_i32 ⇀ (OCaml) "I32Wrapper.le'_s"
| constant wasm_int_i32_inst.int_ge_u_i32 ⇀ (OCaml) "I32Wrapper.ge'_u"
| constant wasm_int_i32_inst.int_ge_s_i32 ⇀ (OCaml) "I32Wrapper.ge'_s"
| constant f32_convert_ui32 ⇀ (OCaml) "F32Wrapper'_convert.convert'_u'_i32"
| constant f32_convert_si32 ⇀ (OCaml) "F32Wrapper'_convert.convert'_s'_i32"
| constant f64_convert_ui32 ⇀ (OCaml) "F64Wrapper'_convert.convert'_u'_i32"
| constant f64_convert_si32 ⇀ (OCaml) "F64Wrapper'_convert.convert'_s'_i32"
| constant wasm_int_i32_inst.int_of_nat_i32 ⇀ (OCaml) "I32Wrapper.int32'_of'_big'_int (Arith.integer'_of'_nat _)"
| constant wasm_int_i32_inst.nat_of_int_i32 ⇀ (OCaml) "Arith.Nat (I32Wrapper.big'_int'_of'_int32 _)"
| constant wasm_int_i64_inst.int_clz_i64 ⇀ (OCaml) "I64Wrapper.clz"
| constant wasm_int_i64_inst.int_ctz_i64 ⇀ (OCaml) "I64Wrapper.ctz"
| constant wasm_int_i64_inst.int_popcnt_i64 ⇀ (OCaml) "I64Wrapper.popcnt"
| constant wasm_int_i64_inst.int_add_i64 ⇀ (OCaml) "I64Wrapper.add"
| constant wasm_int_i64_inst.int_sub_i64 ⇀ (OCaml) "I64Wrapper.sub"
| constant wasm_int_i64_inst.int_mul_i64 ⇀ (OCaml) "I64Wrapper.mul"
| constant wasm_int_i64_inst.int_div_u_i64 ⇀ (OCaml) "I64Wrapper.div'_u"
| constant wasm_int_i64_inst.int_div_s_i64 ⇀ (OCaml) "I64Wrapper.div'_s"
| constant wasm_int_i64_inst.int_rem_u_i64 ⇀ (OCaml) "I64Wrapper.rem'_u"
| constant wasm_int_i64_inst.int_rem_s_i64 ⇀ (OCaml) "I64Wrapper.rem'_s"
| constant wasm_int_i64_inst.int_and_i64 ⇀ (OCaml) "I64Wrapper.and'_"
| constant wasm_int_i64_inst.int_or_i64 ⇀ (OCaml) "I64Wrapper.or'_"
| constant wasm_int_i64_inst.int_xor_i64 ⇀ (OCaml) "I64Wrapper.xor"
| constant wasm_int_i64_inst.int_shl_i64 ⇀ (OCaml) "I64Wrapper.shl"
| constant wasm_int_i64_inst.int_shr_u_i64 ⇀ (OCaml) "I64Wrapper.shr'_u"
| constant wasm_int_i64_inst.int_shr_s_i64 ⇀ (OCaml) "I64Wrapper.shr'_s"
| constant wasm_int_i64_inst.int_rotl_i64 ⇀ (OCaml) "I64Wrapper.rotl"
| constant wasm_int_i64_inst.int_rotr_i64 ⇀ (OCaml) "I64Wrapper.rotr"
| constant wasm_int_i64_inst.int_eqz_i64 ⇀ (OCaml) "I64Wrapper.eqz"
| constant wasm_int_i64_inst.int_eq_i64 ⇀ (OCaml) "I64Wrapper.eq"
| constant wasm_int_i64_inst.int_lt_u_i64 ⇀ (OCaml) "I64Wrapper.lt'_u"
| constant wasm_int_i64_inst.int_lt_s_i64 ⇀ (OCaml) "I64Wrapper.lt'_s"
| constant wasm_int_i64_inst.int_gt_u_i64 ⇀ (OCaml) "I64Wrapper.gt'_u"
| constant wasm_int_i64_inst.int_gt_s_i64 ⇀ (OCaml) "I64Wrapper.gt'_s"
| constant wasm_int_i64_inst.int_le_u_i64 ⇀ (OCaml) "I64Wrapper.le'_u"
| constant wasm_int_i64_inst.int_le_s_i64 ⇀ (OCaml) "I64Wrapper.le'_s"
| constant wasm_int_i64_inst.int_ge_u_i64 ⇀ (OCaml) "I64Wrapper.ge'_u"
| constant wasm_int_i64_inst.int_ge_s_i64 ⇀ (OCaml) "I64Wrapper.ge'_s"
| constant f32_convert_ui64 ⇀ (OCaml) "F32Wrapper'_convert.convert'_u'_i64"
| constant f32_convert_si64 ⇀ (OCaml) "F32Wrapper'_convert.convert'_s'_i64"
| constant f64_convert_ui64 ⇀ (OCaml) "F64Wrapper'_convert.convert'_u'_i64"
| constant f64_convert_si64 ⇀ (OCaml) "F64Wrapper'_convert.convert'_s'_i64"
| constant wasm_int_i64_inst.int_of_nat_i64 ⇀ (OCaml) "I64Wrapper.int64'_of'_big'_int (Arith.integer'_of'_nat _)"
| constant wasm_int_i64_inst.nat_of_int_i64 ⇀ (OCaml) "Arith.Nat (I64Wrapper.big'_int'_of'_int64 _)"
| constant wasm_float_f32_inst.float_neg_f32 ⇀ (OCaml) "F32Wrapper.neg"
| constant wasm_float_f32_inst.float_abs_f32 ⇀ (OCaml) "F32Wrapper.abs"
| constant wasm_float_f32_inst.float_ceil_f32 ⇀ (OCaml) "F32Wrapper.ceil"
| constant wasm_float_f32_inst.float_floor_f32 ⇀ (OCaml) "F32Wrapper.floor"
| constant wasm_float_f32_inst.float_trunc_f32 ⇀ (OCaml) "F32Wrapper.trunc"
| constant wasm_float_f32_inst.float_nearest_f32 ⇀ (OCaml) "F32Wrapper.nearest"
| constant wasm_float_f32_inst.float_sqrt_f32 ⇀ (OCaml) "F32Wrapper.sqrt"
| constant wasm_float_f32_inst.float_add_f32 ⇀ (OCaml) "F32Wrapper.add"
| constant wasm_float_f32_inst.float_sub_f32 ⇀ (OCaml) "F32Wrapper.sub"
| constant wasm_float_f32_inst.float_mul_f32 ⇀ (OCaml) "F32Wrapper.mul"
| constant wasm_float_f32_inst.float_div_f32 ⇀ (OCaml) "F32Wrapper.div"
| constant wasm_float_f32_inst.float_min_f32 ⇀ (OCaml) "F32Wrapper.min"
| constant wasm_float_f32_inst.float_max_f32 ⇀ (OCaml) "F32Wrapper.max"
| constant wasm_float_f32_inst.float_copysign_f32 ⇀ (OCaml) "F32Wrapper.copysign"
| constant wasm_float_f32_inst.float_eq_f32 ⇀ (OCaml) "F32Wrapper.eq"
| constant wasm_float_f32_inst.float_lt_f32 ⇀ (OCaml) "F32Wrapper.lt"
| constant wasm_float_f32_inst.float_gt_f32 ⇀ (OCaml) "F32Wrapper.gt"
| constant wasm_float_f32_inst.float_le_f32 ⇀ (OCaml) "F32Wrapper.le"
| constant wasm_float_f32_inst.float_ge_f32 ⇀ (OCaml) "F32Wrapper.ge"
| constant ui32_trunc_f32 ⇀ (OCaml) "I32Wrapper'_convert.trunc'_u'_f32"
| constant si32_trunc_f32 ⇀ (OCaml) "I32Wrapper'_convert.trunc'_s'_f32"
| constant ui64_trunc_f32 ⇀ (OCaml) "I64Wrapper'_convert.trunc'_u'_f32"
| constant si64_trunc_f32 ⇀ (OCaml) "I64Wrapper'_convert.trunc'_s'_f32"
| constant wasm_float_f64_inst.float_neg_f64 ⇀ (OCaml) "F64Wrapper.neg"
| constant wasm_float_f64_inst.float_abs_f64 ⇀ (OCaml) "F64Wrapper.abs"
| constant wasm_float_f64_inst.float_ceil_f64 ⇀ (OCaml) "F64Wrapper.ceil"
| constant wasm_float_f64_inst.float_floor_f64 ⇀ (OCaml) "F64Wrapper.floor"
| constant wasm_float_f64_inst.float_trunc_f64 ⇀ (OCaml) "F64Wrapper.trunc"
| constant wasm_float_f64_inst.float_nearest_f64 ⇀ (OCaml) "F64Wrapper.nearest"
| constant wasm_float_f64_inst.float_sqrt_f64 ⇀ (OCaml) "F64Wrapper.sqrt"
| constant wasm_float_f64_inst.float_add_f64 ⇀ (OCaml) "F64Wrapper.add"
| constant wasm_float_f64_inst.float_sub_f64 ⇀ (OCaml) "F64Wrapper.sub"
| constant wasm_float_f64_inst.float_mul_f64 ⇀ (OCaml) "F64Wrapper.mul"
| constant wasm_float_f64_inst.float_div_f64 ⇀ (OCaml) "F64Wrapper.div"
| constant wasm_float_f64_inst.float_min_f64 ⇀ (OCaml) "F64Wrapper.min"
| constant wasm_float_f64_inst.float_max_f64 ⇀ (OCaml) "F64Wrapper.max"
| constant wasm_float_f64_inst.float_copysign_f64 ⇀ (OCaml) "F64Wrapper.copysign"
| constant wasm_float_f64_inst.float_eq_f64 ⇀ (OCaml) "F64Wrapper.eq"
| constant wasm_float_f64_inst.float_lt_f64 ⇀ (OCaml) "F64Wrapper.lt"
| constant wasm_float_f64_inst.float_gt_f64 ⇀ (OCaml) "F64Wrapper.gt"
| constant wasm_float_f64_inst.float_le_f64 ⇀ (OCaml) "F64Wrapper.le"
| constant wasm_float_f64_inst.float_ge_f64 ⇀ (OCaml) "F64Wrapper.ge"
| constant ui32_trunc_f64 ⇀ (OCaml) "I32Wrapper'_convert.trunc'_u'_f64"
| constant si32_trunc_f64 ⇀ (OCaml) "I32Wrapper'_convert.trunc'_s'_f64"
| constant ui64_trunc_f64 ⇀ (OCaml) "I64Wrapper'_convert.trunc'_u'_f64"
| constant si64_trunc_f64 ⇀ (OCaml) "I64Wrapper'_convert.trunc'_s'_f64"
code_printing
constant serialise_i32 ⇀ (OCaml) "ImplWrapper.serialise_i32"
| constant serialise_i64 ⇀ (OCaml) "ImplWrapper.serialise_i64"
| constant serialise_f32 ⇀ (OCaml) "ImplWrapper.serialise_f32"
| constant serialise_f64 ⇀ (OCaml) "ImplWrapper.serialise_f64"
| constant wasm_deserialise ⇀ (OCaml) "ImplWrapper.deserialise"
| constant wasm_bool ⇀ (OCaml) "ImplWrapper.bool"
| constant int32_minus_one ⇀ (OCaml) "I32Wrapper.minus'_one"
code_printing
type_constructor host ⇀ (OCaml) "ImplWrapperTypes.host'_function'_t"
end