Description

TypeChecker contains options relating to the type checker.

The supplied IgnoreFuncBodies is not used; the effective value comes from the TypeCheckFuncBodies func below. The supplied Import function is not used either.