Trait rusttyc::TcVar

pub trait TcVar: Debug + Eq + Hash + Clone { }

Represents a re-usable variable in the type checking procedure.

TcKeys for variables will be managed by the TypeChecker.

Implementors

Loading content...