M.Medial_Magma
M : Bastet.Interface.MEDIAL_MAGMA
A : sig ... end
module V : sig ... end
val suite : string -> T.test T.suite