Function _mk

lean_py/marshal.py:375–376

(ffi, ObjPtr, ch, _fn=fn, _n=nargs)

        if fn:

            def _mk(ffi, ObjPtr, ch, _fn=fn, _n=nargs):
                return _call(_fn, ch[:_n], ObjPtr)

            ctors[("Lean.Level", cname)] = _mk