kdrag.datatype.define\_primrec
==============================

.. currentmodule:: kdrag.datatype

.. autofunction:: define_primrec