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

type VarlessTypeChecker<V> = TypeChecker<V, NoVars>;

A TypeChecker instance in case no variables are required.