~/jendhub

def Zone.last.go

bend-kit-time@0.3.0.0 · time.bend:1156

import bend-kit-time@0.3.0.0/time.bend as Time
import Base
import bend-kit-int@0.2.0.0/int.bend as Int

1156def Zone.last.go(ts: List<&2, Trans>, +secs: Int.I64, +last: Int.I64) -> Bool:
1157  match ts:
1158    case Nil{}:
1159      Int.I64.is_gt(secs, last)
1160    case Con{Trans{t, k}, rest}:
1161      Zone.last.go(rest, secs, t)

Uses (5)

Used by (1)