MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / _name_num

Function _name_num

lean_py/marshal.py:347–348  ·  view source on GitHub ↗
(ffi, ObjPtr, ch)

Source from the content-addressed store, hash-verified

345 if _nmkn:
346
347 def _name_num(ffi, ObjPtr, ch):
348 return _call(_nmkn, ch, ObjPtr)
349
350 ctors[("Lean.Name", "num")] = _name_num
351

Callers

nothing calls this directly

Calls 1

_callFunction · 0.85

Tested by

no test coverage detected