package inferno

You can search for identifiers within the package.

in-package search v0.2.0

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

type 'a t

This module implements infinite arrays. *

val make : int -> 'a -> 'a t

make default_size x creates an infinite array, where every slot contains x. The parameter default_size represents the initial physical size of the underlying array. It must be nonzero. *

val get : 'a t -> int -> 'a

get a i returns the element contained at offset i in the array a. Slots are numbered 0 and up. *

val set : 'a t -> int -> 'a -> unit

set a i x sets the element contained at offset i in the array a to x. Slots are numbered 0 and up. *