package dmap

  1. Overview
  2. Docs

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

Parameters

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

Signature

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

Innovation. Community. Security.