object ('a) method private guard : ('a, 'b, 'c, unit) Cf_gadget.guard_t method next : ('a, 'b, 'c, unit) Cf_gadget.t method start : ('d, 'b, 'c, unit) Cf_gadget.t end