Home
last modified time | relevance | path

Searched refs:create_parse_tree_expr (Results 1 – 1 of 1) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dtype_inference.rs201 &mut create_parse_tree_expr(rule, &iflet.rhs, &mut parse_tree, typeenv, termenv); in type_annotations_using_rule()
249 let rhs = &mut create_parse_tree_expr(rule, &rule.rhs, &mut parse_tree, typeenv, termenv); in type_annotations_using_rule()
2223 fn create_parse_tree_expr( in create_parse_tree_expr() function
2238 let child = create_parse_tree_expr(rule, arg, tree, typeenv, termenv); in create_parse_tree_expr()
2331 let subpat_node = create_parse_tree_expr(rule, expr, tree, typeenv, termenv); in create_parse_tree_expr()
2345 let body = create_parse_tree_expr(rule, body, tree, typeenv, termenv); in create_parse_tree_expr()