_.Type
val value : Wasm_ast.value_type
val func_type : int -> Wasm_ast.func_type
val primitive_type : int -> Wasm_ast.func_type