Trait gluon_base::ast::Typed [−][src]
pub trait Typed { type Ident; fn try_type_of(&self, env: &TypeEnv) -> Result<ArcType<Self::Ident>, String>; fn env_type_of(&self, env: &TypeEnv) -> ArcType<Self::Ident> { ... } }
Trait which abstracts over things that have a type. It is not guaranteed that the correct type is returned until after typechecking