module documentation
(source)

Test cases for the type checker: exporting inferred types
Class ​Type​Export​Suite Undocumented