Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : sig ... end

Signature

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