Entry.key.opt: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/entry.bend as Entry
Lines 76-77 of bend-toon-codec@0.1.0.0/src/entry.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/entry.bend&start_line=76&end_line=77

import Base

def key.opt(+raw: String) -> Maybe<&2, String>:
  key.opt.pick(String.is_empty(String.trim(raw)), String.trim(raw))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/entry.bend&name=key.opt.pick