Up
–
base
»
Base
»
Map
» M
Module
Map.M
Parameters
Signature
Parameters
module
K
:
sig
...
end
Signature
type
nonrec
!'v t
=
(
K.t
,
'v
,
K.comparator_witness
)
t