Module S1.Packed

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