('x, 'i, 'o) Cf_state_gadget.wire ->
object
  method check : bool
  method id : string
  method put : 'x -> ('s, 'i, 'o, unit) Cf_state_gadget.t
end