object ('a) method virtual next : ('a, 'b, 'c, unit) Cf_gadget.t end