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.Extend`Source

Functor that extends the indices of a DORDERED type, given some type-level function

Parameters

module X : DORDERED

module F : sig ... end

Signature

Sourcetype _ t =

| Extend : 'a X.t -> 'a F.t t

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