package core-and-more

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module DA : sig ... end

module DS : sig ... end

module EF : sig ... end

module MF : sig ... end

Signature

module D : sig ... end

type elt = DA.t

type sdata = DS.t

type t = D.t

val compare : t -> t -> Ppx_deriving_runtime.int

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state

val hash : t -> Base.Hash.hash_value

val empty : D.t

val find_representative : t -> elt -> DA.t * DS.t

val union_elements : t -> elt -> elt -> t

val create_from_equivalences : (elt * elt) list -> t

val create_from_list : equiv:(elt -> elt -> bool) -> elt list -> t