object ('a) method private virtual guard : (('i, 'o) #Cf_machine.start as 'a, 'i, 'o, unit) Cf_state_gadget.guard method start : ('s, 'i, 'o, unit) Cf_state_gadget.t end