Function parse_binders 

pub fn parse_binders(
    input: Cid,
    defs: Rc<RefCell<Defs>>,
    rec: Option<Name>,
    ctx: Ctx,
    quasi: Rc<VecDeque<Term>>,
    nam_opt: bool,
    terminator: Vec<char>,
    uses: Uses,
) -> impl FnMut(Span<'_>) -> IResult<Span<'_>, Vec<(Uses, Name, Term)>, ParseError<Span<'_>>>

Parse zero or more binders