[−][src]Trait static_context::Has
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>,
[src]
Stack: Has<Unit, Proof>,
impl<Unit, Head, Tail, TailProof> Has<Unit, Next<TailProof>> for ContextStack<Head, Tail> where
Tail: Has<Unit, TailProof>,
[src]
Tail: Has<Unit, TailProof>,