Time.tz.date.clock: def of bend-kit-time@0.3.0.0 Import: import bend-kit-time@0.3.0.0/time.bend as Time Lines 959-962 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=959&end_line=962 import Base def tz.date.clock(d: TzDay, r: TzClock) -> Maybe<&2, TzDatePart>: match r: case TzClock{secs, end}: Some{TzDatePart{TzDate{d, secs}, end}} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=TzClock https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=TzDate https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=TzDatePart https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=TzDay