M.Invariant
I : Interface.INVARIANT
AA : sig ... end
module V : sig ... end
val suite : string -> T.test T.suite