visitors

An OCaml syntax extension for generating visitor classes
constraint 'a = int
inherit monoid
method private zero : 'a addition_monoid -> int
method private plus : 'b -> int -> int -> int