pub trait Context<Entry> {
// Required methods
fn iter(&self) -> impl Iterator<Item = Entry>;
fn append(&self, variable: Entry) -> Self;
fn empty() -> Self;
// Provided method
fn get(&self, var: usize) -> Option<Entry>
where Entry: DeBruijnIndexed { ... }
}Required Methods§
fn iter(&self) -> impl Iterator<Item = Entry>
fn append(&self, variable: Entry) -> Self
fn empty() -> Self
Provided Methods§
fn get(&self, var: usize) -> Option<Entry>where
Entry: DeBruijnIndexed,
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.