Variables

read onlysemigroup:Semigroup<A>

read onlyzero:A

Methods

append (a0:A, a1:A):A