package dmap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

dmap
- CHANGES
- README
- Library dmap
  - Dmap
    
    DORDERED
    
    S_WITH_VALUE
    
    S
    
    TYPE1
    
    MakeWithValue
    
    Make
    
    ToOrdered
    
    MakeMap
    
    MakeSet
    
    Extend
    
    ExtendL
    
    ExtendR
- Sources
  - dmap
    
    dmap.ml

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

Module `Dmap.ExtendR`Source

Functor that extends the indices of a DORDERED type by adding some data to its right-hand side

Parameters

module X : DORDERED

module Y : sig ... end

Signature

Sourcetype _ t =

| Extend : 'a X.t -> ('a * Y.t) t

Sourceval compare : 'a t -> 'b t -> ('a, 'b) cmp