gillian » Gillian » Gil_syntax » Visitors » Utils » ss_monoid

Class Utils.ss_monoid

method private zero : SS.t

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