Wrap.check.place: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 886-903 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=886&end_line=903

import Base
import bolt@1.27.0.0/src/finding.bend as F

# the parameter that breaks the shape, else an empty list, a misplaced `)` or
# a return type off its line, as a finding on the header's lines
def check.place(
  mm: Maybe<&2, Span>,
  empty: Maybe<&2, Span>,
  shut: Maybe<&2, Span>,
  loose: Maybe<&2, Span>,
  +base: U32,
  +path: String,
  +more: List<&2, F.Finding>
) -> List<&2, F.Finding>:
  match mm:
    case None{}:
      check.place_empty(empty, shut, loose, base, path, more)
    case Some{Span{+line, _end, +col}}:
      F.Finding{path, (base + line : U32), col, 0, "wrap",
        "This wrapped def header does not have one parameter per line; put each parameter on its own line."}
        <> more

Uses (8):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.place_empty