def opt
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
36def opt(-T: Data, bad: Bool, +r: T) -> Maybe<&2, T>:
37 match bad:
38 case True{}:
39 None{}
40 case False{}:
41 Some{r}
Uses (2)
Used by (23)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixgen:some_of
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixgen:none_of
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixgen:chk_fit
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_checked_add
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_checked_div
- …