def Datetime.off_sec

import bend-time-lib@0.4.0.1/datetime.bend as Datetime

import Base

88def Datetime.off_sec(+h: U32, +mi: U32) -> U32:
89  U32.add(U32.mul(h, 3600), U32.mul(mi, 60))

Uses (3)