Module Core_kernel__.Univ_map.Make1.Packed

type 's t =
| T : 'a Key.t * ('s'adata ‑> 's t