Equations
Equations
- Std.Time.Week.instInhabitedOrdinal = { default := 1 }
Equations
- Std.Time.Week.instOfNatOffset = { ofNat := Std.Time.Internal.UnitVal.ofNat n }
OfMonth
represents the number of weeks within a month. It ensures that the week is within the
correct bounds—either 1 to 6, representing the possible weeks in a month.
Equations
Instances For
@[inline]
Creates an Ordinal
from a natural number, ensuring the value is within bounds.