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