package base

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Derived_phantom creates a comparator function that constructs a comparator for the type ('a, 'b) t given a comparator for the type 'a.

Parameters

module M : sig ... end

Signature

type 'cmp comparator_witness
val comparator : ('a, 'cmp) comparator -> (('a, _) M.t, 'cmp comparator_witness) comparator