The standard library type_package_language package implements the core of the Mythryl compiler typechecker / type-inference engine.
The type_package_language package implements the Type_Package_Language api.
The type_package_language package source code is in src/lib/compiler/front/semantic/typecheck/type-package-language.pkg.
The above information is manually maintained and may contain errors.
Type_Package_Language