type cvtop = | ToString| OfString| ToBool| OfBool| Reinterpret_int| Reinterpret_float| DemoteF64| PromoteF32| ConvertSI32| ConvertUI32| ConvertSI64| ConvertUI64| TruncSF32| TruncUF32| TruncSF64| TruncUF64| WrapI64| Sign_extend of int| Zero_extend of int| String_to_code| String_from_code| String_to_int| String_from_intval pp_unop : Format.formatter -> unop -> unitval pp_binop : Format.formatter -> binop -> unitval pp_triop : Format.formatter -> triop -> unitval pp_relop : Format.formatter -> relop -> unitval pp_cvtop : Format.formatter -> cvtop -> unitval pp : Format.formatter -> t -> unitval pp_logic : Format.formatter -> logic -> unitval string_of_type : t -> stringval size : t -> int