parse_bv_size

liquid_fixpoint::parser

Function parse_bv_size 

Source 
fn parse_bv_size<T: Types>(sexp: &Sexp) -> Result<Sort<T>, ParseError>