Module Core_kernel.Univ_map.Packed

type t =
| T : 'a Key.t * 'a data ‑> t