#ifndef STORM_ARRAY_FLOAT_H #define STORM_ARRAY_FLOAT_H #include "system/types.h" #include "storm/array.h" STORM_TS_GROWABLE_ARRAY(float); #endif