inferno

A library for constraint-based Hindley-Milner type inference
IN THIS PACKAGE
Module Inferno
module Decoder : sig ... end
module Generalization : sig ... end
module InfiniteArray : sig ... end

This module implements infinite arrays, that is, arrays that grow transparently upon demand.

module OccursCheck : sig ... end
module Signatures : sig ... end
module Solver : sig ... end
module Structure : sig ... end
module Tarjan : sig ... end
module Unifier : sig ... end
module Utils : sig ... end