/// Parse the trailing part of a function arrow.
///
/// ```text
/// fun-arrow-type ::= term(50 - 1)
/// ```
Parse the trailing part of a function arrow.
Parse the trailing part of a function arrow .
fn parse_fun_arrow_type(
        &mut self,
        lhs: Term<'file>,
        _start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let rhs = self.parse_term(Prec(50 - 1))?;
        Ok(Term::FunArrowType(Box::new(lhs), Box::new(rhs)))
    }
fn parse_fun_arrow_type ( & mut self , lhs : Term < ' file > , _start_token : Token < ' file > , ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let rhs = self . parse_term ( Prec ( 50 - 1 ) ) ? ; Ok ( Term :: FunArrowType ( Box :: new ( lhs ) , Box :: new ( rhs ) ) ) }
Parse the trailing part of a function arrow.
Parse the trailing part of a function arrow .
&mut self
lhs
Term<'file>
_start_token
Token<'file>