Module Bigarray.Spec

type 'a t =
  1. | T : ('a, _) Kind.t * _ Layout.t -> 'a t