~/jendhub

def degree_sequence.from

bend-visgraph@2.0.0.0 · src/report.bend:52

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

52def degree_sequence.from(empty: Bool, +n: U32, d: Array<U32>) -> String:
53  match empty:
54    case True{}:
55      ""
56    case False{}:
57      sequence_text(U32.to_nat((n - 1 : U32)), Array.get(U32, d, (n - 1 : U32)), (n - 1 : U32), "")

Uses (8)

Used by (1)