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