The compiler unify_types package implements unify functionality for type deduction. Mythryl uses Prolog-style “unification” to perform type deduction; this module implements the needed unify_types operation.
The unify_types package implements the Unify_Types api.
The unify_types package source code is in src/lib/compiler/front/typer/types/unify-types.pkg.
The above information is manually maintained and may contain errors.
Unify_Types