Series.increasing: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/src/series.bend as Series
Lines 89-96 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=89&end_line=96

import Base

# Whether each value of `rest`, last first, is below `a`, as ts2vg checks
# that x increases.
def increasing(rest: List<&2, F32>, +a: F32, ok: Bool) -> Bool:
  match rest:
    case Nil{}:
      ok
    case Con{+b, t}:
      increasing(t, b, ok && Bool.not(F32.is_le(F32.sub(a, b), 0.0)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List