Type Definition NatOf
agnes::label
type NatOf<T> = <T as Identifier>::Natural;
Helpful type alias to refer to the backing natural number for an identifier.