package inferno

You can search for identifiers within the package.

in-package search v0.2.0

package inferno

Inferno
- CHANGES
- README
- Library inferno
  - Inferno
    
    Decoder
    
    Make
    
    Generalization
    
    Make
    
    Data
    
    U
    
    InfiniteArray
    
    OccursCheck
    
    Make
    
    Signatures
    
    SSTRUCTURE
    
    USTRUCTURE
    
    OCSTRUCTURE
    
    OSTRUCTURE
    
    GSTRUCTURE
    
    STRUCTURE_LEAF
    
    HSTRUCTURE
    
    MUNIFIER
    
    GUNIFIER
    
    UNIFIER
    
    OCCURS_CHECK
    
    OUTPUT
    
    DECODER
    
    TEVAR
    
    Solver
    
    Make
    
    Structure
    
    Option
    
    Tarjan
    
    Run
    
    Unifier
    
    Make
    
    Utils
- Sources
  - inferno
    
    Decoder.ml
    
    Generalization.ml
    
    InfiniteArray.ml
    
    OccursCheck.ml
    
    Signatures.ml
    
    Solver.ml
    
    Structure.ml
    
    Unifier.ml
    
    Utils.ml
    
    inferno.ml
    
    tarjan.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Inferno`Source

Sourcemodule Decoder : sig ... end

Sourcemodule Generalization : sig ... end

Sourcemodule InfiniteArray : sig ... end

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

Sourcemodule OccursCheck : sig ... end

Sourcemodule Signatures : sig ... end

Sourcemodule Solver : sig ... end

Sourcemodule Structure : sig ... end

Sourcemodule Tarjan : sig ... end

Sourcemodule Unifier : sig ... end

Sourcemodule Utils : sig ... end