Type Alias IsAdd 

pub type IsAdd = Marker<Cons<XF, Cons<X9, Cons<XA, Cons<XE, Cons<XE, Cons<X3, Cons<X1, Cons<X9, Cons<XA, Cons<X0, Cons<X0, Cons<X6, Cons<XC, Cons<X9, Cons<XB, ConstStream<X4>>>>>>>>>>>>>>>>>;

Capability marker for Add trait detection.

Aliased Type

pub struct IsAdd(/* private fields */);

Trait Implementations

impl Capability for IsAdd

type Stream = Cons<XF, Cons<X9, Cons<XA, Cons<XE, Cons<XE, Cons<X3, Cons<X1, Cons<X9, Cons<XA, Cons<X0, Cons<X0, Cons<X6, Cons<XC, Cons<X9, Cons<XB, ConstStream<X4>>>>>>>>>>>>>>>>

Type-level nibble stream responsible for Routing (Trie Path). This is typically a short hash (64-bit) of the identity.

type Identity = IList8<IList<C<'A'>, IList<C<'d'>, IList<C<'d'>, INil>>>>

Unique Type-Level Identity. Typically a Tuple of Char types representing the full name. Used for collision resolution (Equality checks) in leaf nodes.

type At<D: Peano> = <<<Marker<Cons<XF, Cons<X9, Cons<XA, Cons<XE, Cons<XE, Cons<X3, Cons<X1, Cons<X9, Cons<XA, Cons<X0, Cons<X0, Cons<X6, Cons<XC, Cons<X9, Cons<XB, ConstStream<X4>>>>>>>>>>>>>>>>> as Capability>::Stream as GetTail<D>>::Out as HashStream>::Head where Self::Stream: GetTail<D>

Helper to get the stream head at depth D (used for trie building)