DynamicArray.clamp_limit: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArray
Lines 49-56 of bend-collections@1.0.0.0/src/containers/dynamic_array.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/dynamic_array.bend&start_line=49&end_line=56

import Base

# Depth limit min(k, 31). (Written with an explicit match: Base Nat.min is a
# Bool.pick over shared arguments, which miscompiled at runtime; docs/VALIDATION.md.)
def clamp_limit(k: Nat, small: Bool) -> Nat:
  match small:
    case True{}:
      k
    case False{}:
      max_depth()

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/dynamic_array.bend&name=max_depth