The standard library Type_Package_Language api defines the core of the Mythryl compiler typechecker / type-inference engine.
The Type_Package_Language api is implemented by the type_package_language package.
The Type_Package_Language api source code is in src/lib/compiler/front/typer/main/type-package-language.api.
The above information is manually maintained and may contain errors.
api { type_declaration :
{level:Bool, path:?.inverse_path::Inverse_Path, per_compile_stuff:?.typer_junk::Per_Compile_Stuff,
raw_declaration:raw_syntax::Declaration, source_code_region:line_number_db::Source_Code_Region,
stamppath_context:?.stamppath_context::Context, symbolmapstack:symbolmapstack::Symbolmapstack,
syntactic_typechecking_context:?.typer_junk::Syntactic_Typechecking_Context,
typerstore:module_level_declarations::Typerstore}
->
{deep_syntax_declaration:deep_syntax::Declaration, symbolmapstack:symbolmapstack::Symbolmapstack};
debugging : Ref(Bool );};