3.1. Nerodia 4.34.0 (in development)🔗

• Introduction of this reference manual.

• API for calling 0-arity and 1-arity Python functions (see, PyObject.call0, PyObject.call1).

• Python integer support for fixed width Lean integer types (e.g., IntX, UIntX).