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.
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.