Dartsint_t typedef

Dartsint_t = int

Implementation

typedef Dartsint_t = int;