Plus.S2
a monoid over a binary polymorphic type.
type ('a, 'e) t
val zero : unit -> ('a, 'e) t
zero () constructs a zero element
zero ()
val plus : ('a, 'e) t -> ('a, 'e) t -> ('a, 'e) t
plus x y an associative operation.
plus x y