CoreAndMore.Semiring · core-and-more 0.0.1

core-and-more

Includes core, and some more useful extensions

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library core-and-more

module type Sig = sig ... end

val maximally_factor_element : 
  (module Sig with type t = 't) ->
  is_eq:( 't0 -> 't1 -> bool ) ->
  't2 ->
  't2