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.