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