sig
type
'
s t =
T
:
'
a
Key
.t *
(
'
s,
'
a)
Univ_map_intf
.
S1
.data
->
'
s
Univ_map_intf
.
S1
.
Packed
.t
end