Skip to main content
proofstep_result
flams_
router_
content
0.0.1
In flams_
router_
content::
checks
flams_router_content
::
checks
Function
proofstep_
result
Copy item path
Source
fn proofstep_result(r:
ProofStepCheckResult
) -> impl IntoView