package dmap

  1. Overview
  2. Docs

Functor that extends the indices of a DORDERED type by adding some data to its left-hand side

Parameters

module X : DORDERED
module Y : sig ... end

Signature

type _ t =
  1. | Extend : 'a X.t -> (Y.t * 'a) t
val compare : 'a t -> 'b t -> ('a, 'b) cmp
OCaml

Innovation. Community. Security.