Visgraph.penetrable: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph
Lines 789-797 of bend-visgraph@2.0.0.0/visgraph.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&start_line=789&end_line=797

import Base

# The limited penetrable graph of the `n` values `ys` at `xs`, crossing at
# most `limit` points. The x of `Index{}` is the index as an F32, exact
# for up to 2^24 values; the x of `At{xs}` must increase.
def penetrable(+g: Visibility, +dir: Direction, +k: Weight, +lo: F32, +hi: F32, +limit: U32, ys: Array<F32>, xs: Xs, +n: U32) -> Edges:
  match xs:
    case Index{}:
      penetrable.built(True{}, g, dir, k, lo, hi, limit, ys, no_xs(), n)
    case At{a}:
      penetrable.built(False{}, g, dir, k, lo, hi, limit, ys, a, n)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  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/visgraph.bend&name=Direction
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Edges
  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
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Xs
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=no_xs
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=penetrable.built