List.4-AA
type 'a t
= 'a list
type 'a arbitrary
= 'a Q.arbitrary
val make : 'a arbitrary -> 'a t arbitrary
val make_bound : 'a arbitrary -> 'a t arbitrary