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
  - MakeWithValue
    
    Ord
    
    Val
  - S
  - S_WITH_VALUE
  - TYPE1
  - ToOrdered
    
    X

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Parameters

module X : DORDERED

module F : sig ... end

Signature

type _ t =

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

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