Module S1.Packed

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