Trait fungi_lang::bitype::HasType

pub trait HasType {
    type Type;
}

Associated Types

type Type

Implementors

• impl HasType for NameTmTD type Type = Sort;
• impl HasType for IdxTmTD type Type = Sort;
• impl HasType for ValTD type Type = Type;
• impl HasType for ExpTD type Type = CEffect;