package dmap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

API
1. Library dmap

dmap
- 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

dmap

API

Library dmap

Dmap Dependent (or heterogeneous) association tables over ordered types.