('a, 'b, 'c) Cf_state_gadget.wire ->
object
  method check : bool
  method id : string
  method put : '-> ('d, 'b, 'c, unit) Cf_state_gadget.t
end