package core-and-more

You can search for identifiers within the package.

in-package search v0.2.0

core-and-more
- CoreAndMore
  - BoolModule
  - CharModule
  - Container
  - CountedPermutation
  - Data
  - DataToPO
    
    D
  - DataWithPriority
    
    Priority
  - DictOf
    
    K
    
    V
  - DisjointSetOf
    
    DA
    
    DS
    
    D
    
    EF
    
    MF
  - DisjointSetWithSetDataOf
    
    D
    
    DA
    
    DS
    
    EF
    
    MF
  - FixHCMemoizerOf
    
    F
    
    Arg
    
    Result
    
    ResultDict
    
    CompareDict
  - FixMemoizerOf
    
    F
    
    Arg
    
    Result
    
    ResultDict
  - FloatList
  - FloatModule
  - HCDictOf
    
    CompareDict
    
    K
    
    V
  - HCSetOf
    
    D
  - HashConsContainer
  - HashConsOf
    
    D
  - HashConsTable
  - HashSet
    
    HSWrapper
    
    D
    
    ImperativeSet
  - HashTable
    
    ImperativeDict
    
    Make
    
    D
  - HeapOf
    
    D
  - Hmap
  - Hset
  - Id
  - IntList
  - IntModule
  - IntSet
    
    D
  - ListOf
    
    D
  - Math
  - MaxForestOf
    
    PO
  - MetricSpaceData
  - NonemptyNormalizedTreeOf
    
    D
  - NormalizedTreeOf
    
    D
  - Operators
  - OptionOf
    
    D
  - PairOf
    
    D1
    
    D2
  - PartialOrdered
  - Permutation
    
    IntIntDict
  - PrefData
  - PriorityQueueOf
    
    D
    
    Priority
    
    QueueHeap
  - Probability
  - QuadrupleOf
    
    D1
    
    D2
    
    D3
    
    D4
  - QuintupleOf
    
    D1
    
    D2
    
    D3
    
    D4
    
    D5
  - RefOf
    
    D
  - Semiring
    
    Sig
  - SeptupleOf
    
    D1
    
    D2
    
    D3
    
    D4
    
    D5
    
    D6
    
    D7
  - SetOf
    
    C
    
    D
  - SextupleOf
    
    D1
    
    D2
    
    D3
    
    D4
    
    D5
    
    D6
  - SimpleFile
  - Singleton
  - StarSemiring
    
    Sig
  - StochasticStarSemiring
    
    Sig
  - StringModule
  - TreeOf
    
    D
  - TripleOf
    
    D1
    
    D2
    
    D3
  - UIDData
  - UnfixedDataFunction
    
    Arg
    
    Result
  - UnfixedHCDataFunction
    
    Arg
    
    Result
  - UnitModule
  - UnorderedNonemptyTreeOf
    
    D
  - UnorderedTreeOf
    
    D

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type ImperativeSet = sig ... end

module HSWrapper (D : sig ... end) : sig ... end