Parameter Const.M

type t
val cardinal : int