BendVisgraph.output: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/bend_visgraph.bend as BendVisgraph
Lines 157-166 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=157&end_line=166

import Base
import bend-visgraph@2.0.0.0/visgraph.bend as VG
import bend-visgraph@2.0.0.0/parallel.bend as Par
import bend-visgraph@2.0.0.0/src/report.bend as Report

def output(mode: Mode, +k: VG.Weight, g: VG.Graph, +n: U32) -> String:
  match mode:
    case EdgeList{}:
      Report.edge_list(Report.is_weighted(k), g)
    case DegreeSequence{}:
      Report.degree_sequence(n, Par.degrees(g))
    case DegreeDistribution{}:
      Report.degree_counts(True{}, n, Par.degrees(g))
    case DegreeCounts{}:
      Report.degree_counts(False{}, n, Par.degrees(g))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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-visgraph@2.0.0.0/bend_visgraph.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/parallel.bend&name=degrees
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/report.bend&name=degree_counts
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/report.bend&name=degree_sequence
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/report.bend&name=edge_list
  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/visgraph.bend&name=Graph
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Weight