Trait fungi_lang::bitype::HasClas

pub trait HasClas {
    type Clas;
    fn tm_fam() -> String;
}

Associated Types

type Clas

Required Methods

fn tm_fam() -> String

Implementors

• impl HasClas for fungi_lang::bitype::NmTmRule type Clas = Sort;
• impl HasClas for fungi_lang::bitype::IdxTmRule type Clas = Sort;
• impl HasClas for ValRule type Clas = Type;
• impl HasClas for DeclRule type Clas = DeclClas;
• impl HasClas for ExpRule type Clas = CEffect;
• impl HasClas for fungi_lang::decide::equiv::NmTmRule type Clas = Sort;
• impl HasClas for fungi_lang::decide::equiv::IdxTmRule type Clas = Sort;
• impl HasClas for TypeRule type Clas = Kind;
• impl HasClas for CEffectRule type Clas = Kind;
• impl HasClas for fungi_lang::decide::apart::NmTmRule type Clas = Sort;
• impl HasClas for fungi_lang::decide::apart::IdxTmRule type Clas = Sort;