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