Up
Module
V1
Signature
module type
S
= sig .. end
module
Make
(
Key
: sig .. end) :
S
with
type
key
:=
Key.t
and
type
comparator_witness
:=
Key.comparator_witness