sexp_to_kvar_decl
liquid_
fixpoint
0.1.0
In liquid_
fixpoint::
parser
liquid_fixpoint
::
parser
Function
sexp_
to_
kvar_
decl
Copy item path
Source
fn sexp_to_kvar_decl(sexp: &
Sexp
) ->
Result
<
KVarDecl
<
ParsingTypes
>,
ParseError
>