Class VisitorsRuntime.unit_monoid

constraint 'a = unit
inherit monoid
method private zero : 'a
method private plus : 'a -> 'a -> 'a