parse_bitvec

liquid_fixpoint::parser

Function parse_bitvec 

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