Module unification 

Type Unification Module

Implements Robinson’s unification algorithm for type inference, including:

• Structural type equality
• Type substitution
• Occurs check for infinite type prevention
• The Unifier struct for managing substitutions

Re-exports

pub use structural_equality::annotations_equal;

pub use structural_equality::constraints_equal;

pub use structural_equality::types_equal;

Modules

structural_equality

Structural Type Equality

Structs

Unifier