package gmap

  1. Overview
  2. No Docs
Heterogenous maps over a GADT

Install 

dune-project
 Dependency

github.com 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/Order/index.html

Module Gmap.OrderSource

Ordering.

Sourcetype (_, _) t =
  1. | Lt : ('a, 'b) t
  2. | Eq : ('a, 'a) t
  3. | Gt : ('a, 'b) t

The ordering type embedding type equality for Eq.