parse_bitvec_sort
liquid_
fixpoint
0.1.0
In liquid_
fixpoint::
parser
liquid_fixpoint
::
parser
Function
parse_
bitvec_
sort
Copy item path
Source
fn parse_bitvec_sort<T:
Types
>(sexp: &
Sexp
) ->
Result
<
Sort
<T>,
ParseError
>