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_info:?.typer_junk::Per_Compile_Info,
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 );
};