Module voile::check::unify

Meta variable solving, term (definitional) equality comparison.

Functions

check_solution
solve_with	Solve a meta with a specific value.
unify	Try to unify two well-typed terms. This may lead to meta variable resolution.
unify_neutral