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