Type Definition rusttyc::VarlessTypeChecker[−][src]

pub type VarlessTypeChecker<V> = TypeChecker<V, NoVars>;
Expand description

A TypeChecker instance in case no variables are required.