Cf_gadget

sig

  type ('a, 'b, 'c) work_t

  type ('a, 'b, 'c) gate_t

  type ('a, 'b, 'c) wire_t

  type ('a, 'b, 'c, 'd) guard_t =

    (('a, 'b, 'c) Cf_gadget.gate_t, 'd) Cf_cmonadlink title="Index of modules" rel=Appendix href="index_modules.html">












































Cf_gadget


sig

  type ('a, 'b, 'c) work_t

  type ('a, 'b, 'c) gate_t

  type ('a, 'b, 'c) wire_t

  type ('a, 'b, 'c, 'd) guard_t =

    (('a, 'b, 'c) Cf_gadget.gate_t, 'd) Cf_cmonadlink title="Index of modules" rel=Appendix href="index_modules.html">












































Cf_gadget


sig

  type ('a, 'b, 'c) work_t

  type ('a, 'b, 'c) gate_t

  type ('a, 'b, 'c) wire_t

  type ('a, 'b, 'c, 'd) guard_t =

    (('a, 'b, 'c) Cf_gadget.gate_t, 'd) Cf_cmonadlink title="Index of modules" rel=Appendix href="index_modules.html">












































Cf_gadget


sig

  type ('a, 'b, 'c) work_t

  type ('a, 'b, 'c) gate_t

  type ('a, 'b, 'c) wire_t

  type ('a, 'b, 'c, 'd) guard_t =

    (('a, 'b, 'c) Cf_gadget.gate_t, 'd) Cf_cmonadlink title="Index of modules" rel=Appendix href="index_modules.html">