def drop

bend-visgraph@2.0.0.0 · visgraph.bend:753

import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph

import Base

753def drop(n: Nat, pts: Pts) -> Pts:
754  match n pts:
755    case 1n+p PCon{i, x, y, next}:
756      drop(p, next)
757    case _ _:
758      pts

Uses (2)

Used by (1)

bend-visgraph@2.0.0.0/visgraph:split