Parameter Make_operations.1-Field

type t
val zero : t
val (*) : t -> t -> t
val (+) : t -> t -> t