inferno

A library for constraint-based Hindley-Milner type inference
Library inferno
Module Inferno . Unifier
module Make (S : sig ... end) : sig ... end

This module implements a unification algorithm for first-order terms whose structure is specified by the parameter S. In particular, the operation S.conjunction specifies how two structural constraints bearing on a variable are combined.