package inferno

You can search for identifiers within the package.

in-package search v0.2.0

package inferno

inferno
- Inferno
  - Decoder
    
    Make
    
    O
    
    S
    
    U
  - Generalization
    
    Make
    
    Data
    
    S
    
    U
  - InfiniteArray
  - OccursCheck
    
    Make
    
    S
    
    U
  - Signatures
    
    DECODER
    
    GSTRUCTURE
    
    GUNIFIER
    
    HSTRUCTURE
    
    MUNIFIER
    
    OCCURS_CHECK
    
    OCSTRUCTURE
    
    OSTRUCTURE
    
    OUTPUT
    
    SSTRUCTURE
    
    STRUCTURE_LEAF
    
    TEVAR
    
    UNIFIER
    
    USTRUCTURE
  - Solver
    
    Make
    
    O
    
    S
    
    X
  - Structure
    
    Option
    
    S
  - Tarjan
    
    Run
    
    G
  - Unifier
    
    Make
    
    S
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

type tyvar

A representation of decoded type variables.

type ty

A representation of decoded types.

val inject : Signatures.id -> tyvar

inject provides an injection of unique integer identifiers into decoded type variables.

val variable : tyvar -> ty

variable v is a representation of the type variable v as a decoded type.

val structure : ty S.structure -> ty

structure s turns s, a structure whose children are decoded types, into a decoded type.

val mu : tyvar -> ty -> ty

If v is a type variable and t is a decoded type, then mu v t is a representation of the recursive type mu v.t. The function mu is used only by the cyclic decoder.