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