module type T = sig .. end
sig
end
A monoid.
type t
val eq : t -> t -> bool
t -> t -> bool
Equality.
val mul : t -> t -> t
t -> t -> t
Multiplication.
val one : t
t
Unit.
val to_string : t -> string
t -> string
String representation.
val compare : t -> t -> int
t -> t -> int
Comparison.