package gmap

  1. Overview
  2. Docs
Heterogenous maps over a GADT

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (1)

Authors

  1. H
    Hannes Mehnert <hannes@mehnert.org>

Maintainers

  1. H
    Hannes Mehnert <hannes@mehnert.org>

Sources

gmap-0.3.0.tbz
sha256=04dd9e6226ac8f8fb4ccb6021048702e34a482fb9c1d240d3852829529507c1c
sha512=71616981f5a15d6b2a47e18702083e52e81f6547076085b1489f676f50b0cc47c7c2c4fa19cb581e2878dc3d4f7133d0c50d8b51a8390be0e6e30318907d81d3

doc/gmap/Gmap/module-type-KEY/index.html

Module type Gmap.KEYSource

Key.

Sourcetype _ t

The type of a key

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

compare k k' is the total order of keys.