Up – bastet » Bastet » Test » List » M » Compare » Medial_Magma

Module `Compare.Medial_Magma`

Parameters

M : Interface.MEDIAL_MAGMA
E : sig ... end
A : sig ... end

Signature

module V : sig ... end

val suite : string -> T.test T.suite