formality_core::language

Trait HasKind

Source 
pub trait HasKind<L: Language> {
    // Required method
    fn kind(&self) -> CoreKind<L>;
}

Required Methods§

Source

fn kind(&self) -> CoreKind<L>

Implementors§