Type Alias U1

pub type U1 = UInt<UTerm, B1>;

Aliased Type

struct U1 { /* private fields */ }

Trait Implementations

impl ArraySize for U1

type ArrayType<T> = [T; 1]

Array type which corresponds to this size.