Parameter Internals.X

type 'a array_elt
type 'a array_t