-
TypeCheckingPkg_get_global_type_checker()
- Returns the global type checker, used by
the this package.
-
TypeCheckingPkg_init()
- Initialises the type checking package.
-
TypeCheckingPkg_quit()
- Shuts down the type checking package.
Last updated on 2009/01/30 14h:53