[][src]Type Definition tydi::PositiveReal

type PositiveReal = NonZeroReal<f64>;

Positive real.