| Modifier and Type | Interface and Description |
|---|---|
| public interface | |
| public interface | TypeCheckingProcedureCallbacks
Methods of this class return true to continue type checking and false to fail |
| Modifier and Type | Class and Description |
|---|---|
| public class | |
| pack-priv class | |
| public class |