Trait Has

pub trait Has<Unit, Proof> {
    // Required methods
    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

Implementors

impl<Stack, Unit, Proof> Has<Unit, Proof> for Context<Stack>

where Stack: Has<Unit, Proof>,

impl<Unit, Head, Tail, TailProof> Has<Unit, Next<TailProof>> for ContextStack<Head, Tail>

where Tail: Has<Unit, TailProof>,

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