Trait gluon_check::TypecheckEnv

pub trait TypecheckEnv: PrimitiveEnv + MetadataEnv { }

Implementors

impl<T> TypecheckEnv for T

where T: PrimitiveEnv + MetadataEnv,