def ov_flag
import bend-collections-laws-math@1.0.0.0/spec/math/fixed.bend as Fixedimport Base
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as F
64def ov_flag(-T: Data, r: F.Over<T>) -> Bool:
65 match r:
66 case F.OV{v, f}:
67 f
Uses (2)
Used by (6)
- bend-collections-laws-math@1.0.0.0/spec/math/fixed:OverflowingAdd.flag
- bend-collections-laws-math@1.0.0.0/spec/math/fixed:OverflowingMul.flag
- bend-collections-laws-math@1.0.0.0/spec/math/fixed:OverflowingPow.flag
- bend-collections-laws-math@1.0.0.0/spec/math/fixed:OverflowingShl.flag
- bend-collections-laws-math@1.0.0.0/spec/math/fixed:OverflowingShr.flag
- …