Decode.ddefaults: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/decode.bend as Decode
Lines 20-21 of bend-toon-codec@0.1.0.0/src/decode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/decode.bend&start_line=20&end_line=21

import Base

def ddefaults() -> DOpts:
  DOpts{2, True{}, False{}}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/decode.bend&name=DOpts