#ifndef STORM_ARRAY_POINTER_TO_VOID_H
#define STORM_ARRAY_POINTER_TO_VOID_H

#include "system/types.h"

#include "storm/array.h"

typedef void* pointer_to_void;

STORM_TS_GROWABLE_ARRAY(pointer_to_void);

#endif