Trait penumbra_tct::internal::height::IsHeight

pub trait IsHeight: IsHeight {
    const HEIGHT: u8;
}

Available on crate feature internal only.

The constant u8 associated with each unary height.

Required Associated Constants

const HEIGHT: u8

The number for this height.

Object Safety

This trait is not object safe.

Implementors

impl IsHeight for Zero

const HEIGHT: u8 = 0u8

impl<N: IsHeight> IsHeight for Succ<N>

const HEIGHT: u8 = _