Type Definition v9::table::example::cheeses::CheckedId[][src]

type CheckedId<'a> = CheckedIdV9<'a, Marker>;

A ‘pre-checked’ index into the table. This index is known to be within the array bounds.