Skip to main content
atom_symbol
liquid_
fixpoint
0.1.0
In liquid_
fixpoint::
z3_
subprocess
liquid_fixpoint
::
z3_subprocess
Function
atom_
symbol
Copy item path
Source
fn atom_symbol(sexp:
Option
<&
Sexp
>) ->
Option
<&
str
>