Skip to main content
fmt_fun_def
liquid_
fixpoint
0.1.0
In liquid_
fixpoint::
smt_
horn
liquid_fixpoint
::
smt_horn
Function
fmt_
fun_
def
Copy item path
Source
fn fmt_fun_def<T:
Types
>(fun: &
FunDef
<T>, f: &mut
Formatter
<'_>) ->
Result