Parameter Mul.M

type t
val one : t
val (*) : t -> t -> t