Module Univ_map.Packed

type 's t1 =
  1. | T : 'a Type_id_key.t * 'a data -> 's t1
type t = Base.unit t1