Trait lark_intern::Untern

pub trait Untern<Interners>: Clone {
    type Data;
    fn untern(self, interner: &dyn AsRef<Interners>) -> Self::Data;
}

Reverse trait: implemented by the key (crate::ty::Perm) and permits lookup in some Interners struct.

Associated Types

type Data

Loading content...

Required methods

fn untern(self, interner: &dyn AsRef<Interners>) -> Self::Data

Loading content...

Implementors

Loading content...