Module model
Structs§
Functions§
- add_
nonnegative_ saturating - law_
add_ nonnegative_ saturating_ matches_ addition_ without_ overflow - law_
add_ nonnegative_ saturating_ never_ decreases_ left_ operand - law_
add_ nonnegative_ saturating_ normalizes_ negative_ increment - law_
add_ nonnegative_ saturating_ saturates_ on_ overflow - law_
advance_ to_ never_ moves_ time_ backward - law_
advance_ to_ reaches_ forward_ target - law_
first_ interval_ tick_ stays_ on_ grid - law_
interval_ tick_ realigns_ past_ observed_ now - law_
mul_ nonnegative_ saturating_ is_ commutative - law_
mul_ nonnegative_ saturating_ matches_ multiplication_ without_ overflow - law_
mul_ nonnegative_ saturating_ normalizes_ negative_ operands - law_
mul_ nonnegative_ saturating_ saturates_ on_ overflow - law_
sleep_ due_ iff_ deadline_ not_ after_ now - law_
wake_ order_ is_ deadline_ then_ sequence - mul_
nonnegative_ saturating