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 2006/07/31 19h:13