BendVisgraph.report.xs: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/bend_visgraph.bend as BendVisgraph
Lines 205-210 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=205&end_line=210

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
import bend-visgraph@2.0.0.0/src/report.bend as Report

def report.xs(x: Series.XsCheck, +g: VG.Visibility, +dir: VG.Direction, +k: VG.Weight, +limit: U32, +mode: Mode, rev: List<&2, F32>, +n: U32) -> Outcome:
  match x:
    case Series.XsBad{msg}:
      Err{msg}
    case Series.XsOk{xrev}:
      report.built(only_degrees(mode) && Report.is_weighted(k), g, dir, k, limit, mode, rev, Given{xrev}, n)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=XSource
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=only_degrees
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/bend_visgraph.bend&name=report.built
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/report.bend&name=is_weighted
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/series.bend&name=XsCheck
  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