[−][src]Type Definition agnes::label::NatOf

type NatOf<T> = <T as Identifier>::Natural;

Helpful type alias to refer to the backing natural number for an identifier.