Module typecheck 

Modules

types

Structs

ModuleExports

Exported signatures from a type-checked module.

MonoInstance

A monomorphized instance of a generic function.

Type Aliases

FnExport

A function’s exported signature: (name, params, return_type).