Up
Module
Make_binable_using_comparator
(
Key
: sig .. end) :
S_binable
with
type
Key.t
=
Key.t
with
type
Key.comparator_witness
=
Key.comparator_witness