Function parse_bound_expression 

pub fn parse_bound_expression(
    input: Cid,
    defs: Rc<RefCell<Defs>>,
    type_rec: Option<Name>,
    term_rec: Option<Name>,
    ctx: Ctx,
    quasi: Rc<VecDeque<Term>>,
    nam: Name,
    letrec: bool,
) -> impl Fn(Span<'_>) -> IResult<Span<'_>, (Term, Term), ParseError<Span<'_>>>

The input (A: Type) (x: A) : A = x returns:

• type: ∀ (A: Type) (x: A) -> A
• term: λ A x => x This is useful for parsing lets and defs