Skip to main content
application_head
liquid_
fixpoint
0.1.0
In liquid_
fixpoint::
suggestion_
solver
liquid_fixpoint
::
suggestion_solver
Function
application_
head
Copy item path
Source
fn application_head(head: &
Sexp
) -> &
str