kdrag.printers.lean.of\_expr
============================

.. currentmodule:: kdrag.printers.lean

.. autofunction:: of_expr