Make.Field
F : Interface.FIELD
A : ARBITRARY with type t := F.t and type 'a arbitrary := 'a Q.arbitrary
module V : sig ... end
val suite : string -> T.test T.suite