Module Var.Packed

type t =
| T : _ var -> t