Config.set_level.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/config.bend as Config
Lines 262-273 of bolt@1.27.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/config.bend&start_line=262&end_line=273

import Base

# the level a name is set to, when it is; hit: the setting before sets
# named it, so the search stops there
def set_level.go(sets: List<&2, LevelSet>, +name: String, hit: Maybe<&2, Level>) -> Maybe<&2, Level>:
  match sets:
    case Nil{}:
      hit
    case Con{LevelSet{+n, l}, rest}:
      match hit:
        case Some{x}:
          Some{x}
        case None{}:
          set_level.go(rest, name, Bool.pick(Maybe<&2, Level>, String.eq(n, name), Some{l}, None{}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=LevelSet