kdrag.printers.lean.of\_sort
============================

.. currentmodule:: kdrag.printers.lean

.. autofunction:: of_sort