Searched refs:parse_ident (Results 1 – 1 of 1) sorted by relevance
233 let ident = self.parse_ident()?; in parse_const()245 let ident = self.parse_ident()?; in parse_pragma()253 let name = self.parse_ident()?; in parse_type()327 let name = self.parse_ident()?; in parse_type_field()328 let ty = self.parse_ident()?; in parse_type_field()341 let term = self.parse_ident()?; in parse_decl()367 let term = self.parse_ident()?; in parse_spec()567 let name = self.parse_ident()?; in parse_model()794 self.parse_ident() in parse_rule()963 let var = self.parse_ident()?; in parse_letdef()[all …]