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/03/04 12h:51