def Zone.at.footer

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

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

1176def Zone.at.footer(use: Bool, tz: String, types: List<&2, Ttype>, ts: List<&2, Trans>, +secs: Int.I64) -> Maybe<&2, Ttype>:
1177  match use:
1178    case False{}:
1179      List.get(&2, Ttype, types, U32.to_nat(Zone.find(ts, secs, 0)))
1180    case True{}:
1181      Zone.at.fallback(tz.rule.lookup(tz.rule(tz), secs), types, ts, secs)