kdrag.printers.lean.of\_datatype
================================

.. currentmodule:: kdrag.printers.lean

.. autofunction:: of_datatype