kdrag.smt.ForAll
================

.. currentmodule:: kdrag.smt

.. autofunction:: ForAll