Module Univ_map.Packed

type t =
| T : 'a Type_id_key.t * 'a data -> t