EmergingEztoml.when.done: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 651-653 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=651&end_line=653

import Base

# a finished local datetime, or one with a zone still to read
def when.done(_date: Date, _clock: Clock, ww: When) -> WhenOut:
  WSome{ww}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Clock
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Date
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=When
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=WhenOut