Parameter Eq.M

type t
include CARDINAL
type n
val n : n cardinal