arjuna.tpi.arjuna_types moduleΒΆ
Arjuna Defined Types
These types are used for annotating functions, methods and return types.
In future, they could be used to enforce types. For the time being, the purpose is understandability and documentation.
Warning: This is the development version. The latest stable version is Stable.
Arjuna Defined Types
These types are used for annotating functions, methods and return types.
In future, they could be used to enforce types. For the time being, the purpose is understandability and documentation.