Series.xs: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/src/series.bend as Series
Lines 114-121 of bend-visgraph@2.0.0.0/src/series.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/src/series.bend&start_line=114&end_line=121

import Base

# The x coordinates `p` of a series of `n` values: ts2vg takes one x per
# value, each above the one before.
def xs(p: Parsed, +n: U32) -> XsCheck:
  match p:
    case Bad{line}:
      XsBad{"line " ++ U32.show(line) ++ " of the x coordinates holds no number"}
    case Values{+rev, +m}:
      xs_check(U32.is_eq(n, m), increases(rev), rev, n, m)

Uses (8):
  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_eq
  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/src/series.bend&name=Parsed
  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/src/series.bend&name=increases
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/src/series.bend&name=xs_check