def secs.up

bend-kit-jwt@0.11.0.1 · jwt.bend:173

import Base

173def secs.up(+acc: U32, frac: Bool) -> U32:
174  Bool.pick(U32, Bool.and(frac, U32.is_lt(acc, 4294967295)), (acc + 1 : U32), acc)