sig
type
t =
T
:
'
a
Key
.t *
'
a
Univ_map_intf
.
S
.data
->
Univ_map_intf
.
S
.
Packed
.t
end