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