def time.civil.month

ezsys@0.1.0.0 · src/clock.bend:61

import ezsys@0.1.0.0/src/clock.bend as Clock

import Base

61# the month of a March-based month index (0 is March)
62def time.civil.month(+mp: U32) -> U32:
63  Bool.pick(U32, (mp < 10 : U32), (mp + 3 : U32), (mp - 9 : U32))

Uses (5)

Used by (1)

ezsys@0.1.0.0/src/clock:time.civil