fn parse_fun_elim(&mut self, lhs: Term<'file>) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let mut args = Vec::new();
        while self.is_peek_match(ArgParamStart) {
            args.push(self.parse_arg()?);
        }

        if args.is_empty() {
            Ok(lhs)
        } else {
            Ok(Term::FunElim(Box::new(lhs), args))
        }
    }
/// Parse the trailing part of a function elimination.
///
/// ```text
/// fun-elim    ::= arg*
/// ```
Parse the trailing part of a function elimination.
Parse the trailing part of a function elimination .
fn parse_fun_elim(&mut self, lhs: Term<'file>) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let mut args = Vec::new();
        while self.is_peek_match(ArgParamStart) {
            args.push(self.parse_arg()?);
        }
        if args.is_empty() {
            Ok(lhs)
        } else {
            Ok(Term::FunElim(Box::new(lhs), args))
        }
    }
fn parse_fun_elim ( & mut self , lhs : Term < ' file > ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let mut args = Vec :: new ( ) ; while self . is_peek_match ( ArgParamStart ) { args . push ( self . parse_arg ( ) ? ) ; } if args . is_empty ( ) { Ok ( lhs ) } else { Ok ( Term :: FunElim ( Box :: new ( lhs ) , args ) ) } }
Parse the trailing part of a function elimination.
Parse the trailing part of a function elimination .
&mut self
lhs
Term<'file>
&mut self
lhs
Term<'file>