def snd_nat

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

import Base

590def snd_nat(r: Nat & Nat) -> Nat:
591  match r:
592    case Tuple{d, p}:
593      p