/// Parse the trailing part of a primitive.
///
/// ```text
/// primitive ::= STRING_LITERAL
/// ```
Parse the trailing part of a primitive.
Parse the trailing part of a primitive .
fn parse_prim(
        &mut self,
        start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let name_token = self.expect_match(TokenKind::StringLiteral)?;
        let span = FileSpan::merge(start_token.span(), name_token.span());
        Ok(Term::Prim(span, name_token.src))
    }
fn parse_prim ( & mut self , start_token : Token < ' file > , ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let name_token = self . expect_match ( TokenKind :: StringLiteral ) ? ; let span = FileSpan :: merge ( start_token . span ( ) , name_token . span ( ) ) ; Ok ( Term :: Prim ( span , name_token . src ) ) }
Parse the trailing part of a primitive.
Parse the trailing part of a primitive .
&mut self
start_token
Token<'file>