[−][src]Trait static_context::Has

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

    fn get_unit_mut(&mut self) -> &mut Unit;
}

Required methods

fn get_unit(&self) -> &Unit

fn get_unit_mut(&mut self) -> &mut Unit

Loading content...

Implementors

impl<Stack, Unit, Proof> Has<Unit, Proof> for Context<Stack> where
    Stack: Has<Unit, Proof>, [src]

impl<Unit, Head, Tail, TailProof> Has<Unit, Next<TailProof>> for ContextStack<Head, Tail> where
    Tail: Has<Unit, TailProof>, [src]

impl<Unit, Tail> Has<Unit, ()> for ContextStack<Unit, Tail>[src]

Loading content...