Class Utils.ss_monoid

method private zero : SS.t
method private plus : SS.t -> SS.t -> SS.t