spekk.transformations.for\_all
==============================

.. automodule:: spekk.transformations.for_all
  
   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:                                       
   
      python_vmap
      specced_vmap
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
      :toctree:                               
      :template: class-template.rst          
   
      ForAll
   
   

   
   
   



