package dmap

  1. Overview
  2. Docs

Module Dmap.ExtendLSource

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

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