Type Definition rusttyc::VarlessTypeChecker [−][src]
type VarlessTypeChecker<V> = TypeChecker<V, NoVars>;
A TypeChecker instance in case no variables are required.
type VarlessTypeChecker<V> = TypeChecker<V, NoVars>;
A TypeChecker instance in case no variables are required.