Function parse 

pub fn parse(
    i: &str,
    defs: Defs,
) -> IResult<Span<'_>, Term, ParseError<Span<'_>>>

A convenient top-level parser with default arguments