package fix

You can search for identifiers within the package.

in-package search v0.2.0

package fix

fix
- Fix
  - FINITE_TYPE
  - Fix
    
    ForHashedType
    
    P
    
    T
    
    ForOrderedType
    
    P
    
    T
    
    ForType
    
    P
    
    T
    
    Make
    
    M
    
    P
  - GRAPH
  - Gensym
  - Glue
    
    ArraysAsImperativeMaps
    
    K
    
    CHAR
    
    HashTablesAsImperativeMaps
    
    H
    
    INT
    
    InjectHashedType
    
    I
    
    U
    
    InjectImperativeMaps
    
    I
    
    J
    
    M
    
    InjectMinimalImperativeMaps
    
    I
    
    M
    
    InjectOrderedType
    
    I
    
    U
    
    PersistentMapsToImperativeMaps
    
    M
    
    STRING
    
    TrivialHashedType
    
    T
    
    TrivialOrderedType
    
    T
    
    WeakHashTablesAsImperativeMaps
    
    H
  - GraphNumbering
    
    ForHashedType
    
    G
    
    T
    
    ForOrderedType
    
    G
    
    T
    
    ForType
    
    G
    
    T
    
    Make
    
    G
    
    M
  - HashCons
    
    ForHashedType
    
    T
    
    ForHashedTypeWeak
    
    T
    
    Make
    
    M
    
    SERVICE
  - IMPERATIVE_MAPS
  - INJECTION
  - MEMOIZER
  - MINIMAL_IMPERATIVE_MAPS
  - Make
    
    M
    
    P
  - Memoize
    
    Char
    
    ForHashedType
    
    T
    
    ForOrderedType
    
    T
    
    ForType
    
    T
    
    Int
    
    Make
    
    M
    
    String
  - NUMBERING
  - Numbering
    
    ForHashedType
    
    Done
    
    T
    
    ForOrderedType
    
    Done
    
    T
    
    ForType
    
    Done
    
    T
    
    Make
    
    Done
    
    M
  - ONGOING_NUMBERING
  - PERSISTENT_MAPS
  - PROPERTY
  - Prop
    
    Boolean
    
    Option
    
    X
    
    Set
    
    X
  - SOLVER
  - TABULATOR
  - TWO_PHASE_NUMBERING
    
    Done
  - TYPE
  - Tabulate
    
    ForHashedType
    
    F
    
    T
    
    ForIntSegment
    
    K
    
    ForOrderedType
    
    F
    
    T
    
    ForType
    
    F
    
    Make
    
    F
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

module CHAR : sig ... end

module INT : sig ... end

module STRING : sig ... end

module TrivialOrderedType (T : sig ... end) : Map.OrderedType with type t = T.t

module TrivialHashedType
  (T : sig ... end) : 
  Hashtbl.HashedType with type t = T.t

module InjectOrderedType
  (U : Map.OrderedType)
  (I : sig ... end) : 
  Map.OrderedType with type t = I.t

module InjectHashedType
  (U : Hashtbl.HashedType)
  (I : sig ... end) : 
  Hashtbl.HashedType with type t = I.t

module InjectMinimalImperativeMaps
  (M : sig ... end)
  (I : sig ... end) : 
  sig ... end

module InjectImperativeMaps
  (M : sig ... end)
  (I : sig ... end)
  (J : sig ... end) : 
  sig ... end

module PersistentMapsToImperativeMaps (M : sig ... end) : sig ... end

module ArraysAsImperativeMaps (K : sig ... end) : sig ... end

module HashTablesAsImperativeMaps (H : Hashtbl.HashedType) : sig ... end

module WeakHashTablesAsImperativeMaps (H : Hashtbl.HashedType) : sig ... end