package dmap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

dmap
- Dmap
  - DORDERED
  - ExtendL
    
    X
    
    Y
  - ExtendR
    
    X
    
    Y
  - Make
    
    Ord
  - S
  - ToOrdered
    
    X

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor that extends the indices of a DORDERED type

Parameters

module X : DORDERED

module Y : sig ... end

Signature

type _ t =

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

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