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/08/01 10h:49