package fix

You can search for identifiers within the package.

in-package search v0.2.0

Fix: Memoization and Fixed Points Made Easy
- CHANGES
- README
- Library fix
  - Fix
    
    TYPE
    
    OrderedType
    
    HashedType
    
    FINITE_TYPE
    
    PERSISTENT_MAPS
    
    MINIMAL_IMPERATIVE_MAPS
    
    IMPERATIVE_MAPS
    
    ARRAY
    
    PROPERTY
    
    SEMI_LATTICE
    
    MINIMAL_SEMI_LATTICE
    
    MEMOIZER
    
    TABULATOR
    
    SOLVER
    
    SOLUTION
    
    GRAPH
    
    DATA_FLOW_GRAPH
    
    ONGOING_NUMBERING
    
    NUMBERING
    
    TWO_PHASE_NUMBERING
    
    Done
    
    INJECTION
    
    Glue
    
    CHAR
    
    INT
    
    STRING
    
    TrivialOrderedType
    
    TrivialHashedType
    
    InjectOrderedType
    
    InjectHashedType
    
    InjectMinimalImperativeMaps
    
    InjectImperativeMaps
    
    PersistentMapsToImperativeMaps
    
    ArraysAsImperativeMaps
    
    HashTablesAsImperativeMaps
    
    WeakHashTablesAsImperativeMaps
    
    MinimalSemiLattice
    
    Memoize
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Char
    
    Int
    
    String
    
    Numbering
    
    Make
    
    Done
    
    ForOrderedType
    
    Done
    
    ForHashedType
    
    Done
    
    ForType
    
    Done
    
    GraphNumbering
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Indexing
    
    CARDINAL
    
    Const
    
    Empty
    
    Gensym
    
    SUM
    
    Sum
    
    Index
    
    Vector
    
    Tabulate
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    ForIntSegment
    
    Gensym
    
    HashCons
    
    SERVICE
    
    Make
    
    ForHashedType
    
    ForHashedTypeWeak
    
    DataFlow
    
    Run
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    ForIntSegment
    
    ForCustomMaps
    
    CompactQueue
    
    Prop
    
    Boolean
    
    Option
    
    Set
    
    Fix
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Make
- Sources
  - fix
    
    Boolean.ml
    
    CompactQueue.ml
    
    Core.ml
    
    CoreDependencyGraph.ml
    
    DataFlow.ml
    
    Fix.ml
    
    Gensym.ml
    
    Glue.ml
    
    GraphNumbering.ml
    
    HashCons.ml
    
    Indexing.ml
    
    Memoize.ml
    
    Numbering.ml
    
    Option.ml
    
    Set.ml
    
    Sigs.ml
    
    Tabulate.ml
    
    fix__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter `Sum.L`

type n

val n : n cardinal