def Datetime.sod

bend-time-lib@0.4.0.1 · datetime.bend:85

import Base

85def Datetime.sod(+h: U32, +mi: U32, +s: U32) -> U32:
86  U32.add(U32.add(U32.mul(h, 3600), U32.mul(mi, 60)), s)