Module Conjunctive.Medial_Magma

module V : sig ... end
val suite : string -> T.test T.suite