object method private virtual guard : ('i, 'o, unit) Cf_gadget.guard method start : ('i, 'o, unit) Cf_gadget.t end