/// Parse the trailing part of a record elimination.
///
/// ```text
/// record-elim ::= IDENTIFIER
/// ```
Parse the trailing part of a record elimination.
Parse the trailing part of a record elimination .
fn parse_record_elim(
        &mut self,
        lhs: Term<'file>,
        _start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let label = self.expect_identifier()?;
        Ok(Term::RecordElim(Box::new(lhs), label))
    }
fn parse_record_elim ( & mut self , lhs : Term < ' file > , _start_token : Token < ' file > , ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let label = self . expect_identifier ( ) ? ; Ok ( Term :: RecordElim ( Box :: new ( lhs ) , label ) ) }
Parse the trailing part of a record elimination.
Parse the trailing part of a record elimination .
&mut self
lhs
Term<'file>
_start_token
Token<'file>