def capacity.zero

bendtorch-core@0.1.0.0 · src/shape/core.bend:583

import Base

583def capacity.zero(+head: Nat, -tail: List<&2, Nat>) -> Capacity<head <> tail>:
584  match head:
585    case 0n:
586      Within{0n, {==}, {==}}
587    case 1n+p:
588      Beyond{}