gillian » Gillian » Gil_syntax » Visitors » Utils » list_monoid

Class Utils.list_monoid

method private zero : 'b list

method private plus : 'a list -> 'a list -> 'a list