Dartma_double typedef

Dartma_double = double

Implementation

typedef Dartma_double = double;