Module Make1.Packed

type 's t =
  1. | T : 'a Key.t * ('s, 'a) data -> 's t