specless.specification.base
===========================

.. automodule:: specless.specification.base

   
   
   

   
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
      :toctree:
      :template: custom-class-template.rst
      :nosignatures:
   
      AutomataSpecification
      Specification