Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A MONOID only needs to be commutative with the empty element.
include Bastet.Interface.SEMIGROUP
val empty : t