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