EmergingEztoml.clock.with: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 646-649 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=646&end_line=649

import Base

# a clock with its fraction filled in
def clock.with(cc: Clock, frac: String) -> Clock:
  Clock{h, mi, s, _f} = cc
  Clock{h, mi, s, frac}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Clock