package inferno

You can search for identifiers within the package.

in-package search v0.2.0

package inferno

inferno
- Inferno
  - Generalization
    
    Make
    
    S
    
    U
    
    VarMap
  - InfiniteArray
  - Option
  - SolverHi
    
    Make
    
    O
    
    S
    
    X
  - SolverLo
    
    Make
    
    O
    
    S
    
    X
  - SolverSig
    
    OUTPUT
    
    TEVAR
  - TRef
  - TUnionFind
  - Unifier
    
    Make
    
    D
    
    S
    
    VarMap
  - UnifierSig
    
    DATA
    
    STRUCTURE
    
    UNIFIER
    
    VarMap
  - UnionFind
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Generalization : sig ... end

module InfiniteArray : sig ... end

module Option : sig ... end

module SolverHi : sig ... end

module SolverLo : sig ... end

module SolverSig : sig ... end

module TRef : sig ... end

module TUnionFind : sig ... end

module Unifier : sig ... end

module UnifierSig : sig ... end

module UnionFind : sig ... end

This module implements a simple and efficient union/find algorithm. See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set Union Algorithm'', JACM 22(2), 1975.

module Utils : sig ... end