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