def Leader.late

bend-kube-runtime@0.2.0.0 · src/leader.bend:80

import Base

80def Leader.late(+now: U32, +last: U32, +deadline: U32) -> Bool:
81  U32.is_gt((now - last : U32), deadline)