Trait static_context::Has

pub trait Has<Unit, Proof> {
    fn get_unit(&self) -> &Unit;
}

Required methods

fn get_unit(&self) -> &Unit

Loading content...

Implementors

impl<Unit, Head, Tail, TailProof> Has<Unit, Next<TailProof>> for NestedContext<Head, Tail> where
    Tail: Has<Unit, TailProof>, 

fn get_unit(&self) -> &Unit

impl<Unit, Tail> Has<Unit, ()> for NestedContext<Unit, Tail>

fn get_unit(&self) -> &Unit

Loading content...