gillian » Gillian » Gil_syntax » Visitors » Utils » non_ordered_list_monoid

Class Utils.non_ordered_list_monoid

method private zero : 'b list

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