Up
—
package
core_kernel
Module
Core_kernel__Map.M
Parameters
K
:
sig
...
end
Signature
type
'v t
=
(
K.t
,
'v
,
K.comparator_witness
)
t