Module Make.Packed

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