MONOID
signature
The value type of an augmented ordered table ascribes to MONOID
,
which specifies an abstract type t together with an identity I,
an associative combination function f, and a toString
function for convenience. The reduced value of a table is given by "summing"
all values in the table, with respect to f.
type t
val I : t
val f : t * t → t
val toString : t → string
type t
val I :
t
val f :
t * t → t
val toString :
t → string