aiger-no_version/docs/source/cell/word_spec.rst

Specify rules
-------------

.. todo:: `$specify2`, `$specify3`, and `$specrule` cells.

.. autocellgroup:: spec
   :members:
   :source:
   :linenos:
cellref: Deprecate cell_library.rst 2024-05-27 15:46:43 +12:00			`Specify rules`
			`-------------`

Docs: TODOs block, todos don't 2024-09-05 16:22:16 +12:00			.. todo:: `$specify2`, `$specify3`, and `$specrule` cells.
cellref: Deprecate cell_library.rst 2024-05-27 15:46:43 +12:00
			`.. autocellgroup:: spec`
			`:members:`
			`:source:`
			`:linenos:`