def time.civil

import ezsys@0.1.0.0/main.bend as Ezsys

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

49# the civil fields of seconds since the epoch, in UTC: year, month, day,
50# hour, minute, second and ISO weekday (1 Monday to 7 Sunday)
51def time.civil(secs: U32) -> U32 & U32 & U32 & U32 & U32 & U32 & U32:
52  Clock.time.fields(secs)

Uses (3)

U32
Pair
ezsys@0.1.0.0/src/clock:time.fields

Used by (0)

No other definition uses this definition.