def fst_nat

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

import Base

585def fst_nat(r: Nat & Nat) -> Nat:
586  match r:
587    case Tuple{d, p}:
588      d