Datetime.TimeFrac: type of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/datetime.bend as Datetime
Lines 7-9 of bend-time-lib@0.4.0.1/datetime.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/datetime.bend&start_line=7&end_line=9

import Base

type TimeFrac is Data:
  FracNone{}
  Frac{digits: Nat, value: U32}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32