Up
Module
Packed_map
Signature
module type
Key
= sig .. end
module type
Value
= sig .. end
module type
S
= sig .. end
module
Make
(
K
:
Key
) (
V
:
Value
) :
S
with
type
key
:=
K.t
and
type
value
:=
V.t