def cap_pair

bend-ml-tensor-array@0.1.19.0 · main.bend:578

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

578def cap_pair(n: Nat) -> Nat & Nat:
579  match n:
580    case 0n:
581      (0n, 1n)
582    case 1n++m:
583      cap_step(cap_pair(m), 1n+m)

Uses (4)

Used by (3)