Home
last modified time | relevance | path

Searched defs:Pattern (Results 1 – 7 of 7) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dtermname.rs7 pat: &Pattern, in pattern_contains_termname()
H A Dtype_inference.rs1990 pattern: &isle::sema::Pattern, in create_parse_tree_pattern()
H A Dsolver.rs1317 pat: &Pattern, in display_isle_pattern()
/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dast.rs306 pub enum Pattern { enum
343 impl Pattern { impl
377 pub fn make_macro_template(&self, macro_args: &[Ident]) -> Pattern { in make_macro_template()
439 pub fn subst_macro_args(&self, macro_args: &[Pattern]) -> Option<Pattern> { in subst_macro_args()
H A Dsema.rs698 pub enum Pattern { enum
794 impl Pattern { impl
2055 pattern: &ast::Pattern, in maybe_implicit_convert_pattern()
2058 ) -> Option<ast::Pattern> { in maybe_implicit_convert_pattern()
2085 pat: &ast::Pattern, in translate_pattern()
2088 ) -> Option<Pattern> { in translate_pattern()
2301 args: &Vec<ast::Pattern>, in translate_args()
2305 ) -> Vec<Pattern> { in translate_args()
H A Dprinter.rs554 impl ToSExpr for Pattern { implementation
H A Dparser.rs829 fn parse_pattern(&mut self) -> Result<Pattern> { in parse_pattern()