[][src]Type Definition tydi::Positive

type Positive = NonZeroU32;

Positive integer.