package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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
    
    S
    
    VarMap
  - UnifierSig
    
    STRUCTURE
    
    UNIFIER
    
    VarMap
  - UnionFind
  - WriteOnceRef

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : SolverSig.TEVAR

module S : UnifierSig.STRUCTURE

module O : sig ... end

Signature

type variable

val fresh : variable O.structure option -> variable

type ischeme

type rawco =

| CTrue
| CConj of rawco * rawco
| CEq of variable * variable
| CExist of variable * rawco
| CInstance of X.tevar * variable * variable list WriteOnceRef.t
| CDef of X.tevar * variable * rawco
| CLet of (X.tevar * variable * ischeme WriteOnceRef.t) list * rawco * rawco * variable list WriteOnceRef.t

exception Unbound of X.tevar

exception Unify of variable * variable

exception Cycle of variable

val solve : bool -> rawco -> unit

val decode_variable : variable -> O.tyvar

type decoder = variable -> O.ty

val new_decoder : bool -> decoder

val decode_scheme : decoder -> ischeme -> O.scheme