package dmap

  1. Overview
  2. Docs

The signature of dependently-ordered types. This is the input signature of the functor Make.

type _ t

The type of the map keys, indexed with the type of the value for such keys.

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

Innovation. Community. Security.