package dmap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

dmap
- Dmap
  - DORDERED
  - Extend
    
    F
    
    X
  - ExtendL
    
    X
    
    Y
  - ExtendR
    
    X
    
    Y
  - Make
    
    Ord
  - MakeMap
    
    X
  - MakeSet
    
    X
  - MakeWithValue
    
    Ord
    
    Val
  - S
  - S_WITH_VALUE
  - TYPE1
  - ToOrdered
    
    X

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor that converts a DORDERED into an ordered type

Parameters

module X : DORDERED

Signature

type t =

| Hide : 'a X.t -> t

val compare : t -> t -> int