Parameter Eq.M

type t
type n
val n : n Fix__Indexing.cardinal