Parameter Array.4-A

type t = int array
type 'a arbitrary = 'a Q.arbitrary
val make : t arbitrary