BendVisgraph.report: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/bend_visgraph.bend as BendVisgraph
Lines 217-224 of bend-visgraph@2.0.0.0/bend_visgraph.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&start_line=217&end_line=224

import Base
import bend-visgraph@2.0.0.0/visgraph.bend as VG
import bend-visgraph@2.0.0.0/src/series.bend as Series

def report(p: Series.Parsed, x: XsIn, +g: VG.Visibility, +dir: VG.Direction, +k: VG.Weight, +limit: U32, +mode: Mode) -> Outcome:
  match p x:
    case Series.Bad{line} _:
      Err{"line " ++ U32.show(line) ++ " holds no number"}
    case Series.Values{rev, +n} NoXs{}:
      report.sized(U32.is_gt(n, 16777216), g, dir, k, limit, mode, rev, n)
    case Series.Values{rev, +n} XsRead{xp}:
      report.xs(Series.xs(xp, n), g, dir, k, limit, mode, rev, n)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=XsIn
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=report.sized
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=report.xs
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/series.bend&name=Parsed
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/series.bend&name=xs
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Direction
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Visibility
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Weight