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