def tab.snd

import bend-osdev-gf@0.1.1.0/check.bend as Check

import Base
import bend-osdev-gf@0.1.1.0/tables.bend as T

48def tab.snd(r: T.Gf8Tab & Nat) -> Nat:
49  (t, n) = r
50  n

Uses (4)