def Zone.at.tz

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

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

1183def Zone.at.tz(empty: Bool, tz: String, types: List<&2, Ttype>, +ts: List<&2, Trans>, +secs: Int.I64) -> Maybe<&2, Ttype>:
1184  match empty:
1185    case True{}:
1186      List.get(&2, Ttype, types, U32.to_nat(Zone.find(ts, secs, 0)))
1187    case False{}:
1188      Zone.at.footer(Zone.last(ts, secs), tz, types, ts, secs)