parse_binary_op

liquid_fixpoint::parser

Function parse_binary_op 

Source 
fn parse_binary_op(sexp: &Sexp) -> Result<Expr<ParsingTypes>, ParseError>