Parameter Internals.1-X

type 'a array_elt
type 'a array_t