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