Uses of Class
org.jsweet.transpiler.TypeChecker

Packages that use TypeChecker

Package	Description
org.jsweet.transpiler.util	This package contains utilities for the JSweet transpiler.

Uses of TypeChecker in org.jsweet.transpiler.util

Fields in org.jsweet.transpiler.util declared as TypeChecker

Modifier and Type	Field and Description
TypeChecker	AbstractTreePrinter.typeChecker A type checker instance.