Input.path.present: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 43-47 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=43&end_line=47

import Base

def path.present(~I: Data, ~convert: String -> Maybe<&2, I>, present: Bool, params: Map<&2, String>, key: String) -> Result<&2, &1, U32, I>:
  match present:
    case False{}: Fail{400}
    case True{}:
      path.value(~I, ~convert, Map.get(String, "", params, key))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=path.value