Module Make.Packed

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