package inferno

You can search for identifiers within the package.

in-package search v0.2.0

package inferno

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Make
  (X : SolverSig.TEVAR)
  (S : UnifierSig.STRUCTURE)
  (O : SolverSig.OUTPUT with type 'a structure = 'a S.structure) : 
  sig ... end