Cli.bad_value: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 2076-2080 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2076&end_line=2080

import Base

def bad_value(reason: Maybe<&2, String>, value: String) ->
    Maybe<&2, Bad>:
  match reason:
    case None{}: None{}
    case Some{why}: Some{Bad{value, why}}

Uses (3):
  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=cli@0.2.0.0/cli.bend&name=Bad