Method parse_universe_params

leanr-syntax/src/parser.rs:257–272

Parse universe parameters: .{u v}

(&mut self)

    /// Parse universe parameters: .{u v}
    fn parse_universe_params(&mut self) -> crate::Result<Vec<Ident>> {
        let mut params = Vec::new();

        if self.check(&TokenKind::Dot) {
            self.advance();
            self.expect(TokenKind::LBrace)?;

            while !self.check(&TokenKind::RBrace) {
                params.push(self.parse_ident()?);
            }

            self.expect(TokenKind::RBrace)?;
        }

        Ok(params)
    }

    /// Parse function parameters
    fn parse_params(&mut self) -> crate::Result<Vec<Param>> {