gillian » Gillian » Gil_syntax » Visitors » Utils » two_list_monoid

Class Utils.two_list_monoid

method private zero : 'c list * 'd list

method private plus : ('a list * 'b list) ->
  ('a list * 'b list) ->
  'a list * 'b list