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