Up
Module
Key
:
Comparator.S
with
type
t
=
Key.t
and
type
comparator_witness
=
Key.comparator_witness
Signature
type
t =
Key.t
type
comparator_witness =
Key.comparator_witness
val
comparator : (
t
,
comparator_witness
)
Comparator.comparator