Module check

Module check 

Source

Modulesยง

check_untyped
set_entrypoint
shared_names
type_check
Optional Hindley-Milner-like type system.
unbound_refs
unbound_vars