package dmap

  1. Overview
  2. Docs

Functor that extends the indices of a DORDERED type, given some type-level function

Parameters

module X : DORDERED
module F : sig ... end

Signature

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

Innovation. Community. Security.