Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package pyml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Py.IntSource
Interface for Python values of type Int if Python 2, Long if Python 3.
of_int i returns the Python int with the value i. Wrapper for PyInt_FromLong.
to_int o takes a Python int o as arguments and returns the corresponding 64-bit integer value. A Python exception (Py.E _) is raised if o is not a long. Wrapper for PyInt_AsLong.
of_int i returns the Python int with the value i. We have of_int i = of_int64 (Int64.of_int i).
to_int o takes a Python int o as arguments and returns the corresponding integer value. A Python exception (Py.E _) is raised if o is not a long. We have to_int o = Int64.to_int (to_int 64 o).