-
-#include "file_nit.h"
-
-/* out/indirect function for file::NativeString::file_exists */
-val_t NativeString_file_exists___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_stat */
-val_t NativeString_file_stat___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_mkdir */
-val_t NativeString_file_mkdir___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_delete */
-val_t NativeString_file_delete___out( val_t recv );
-
-/* out/indirect function for file::FileStat::mode */
-val_t FileStat_mode___out( val_t recv );
-
-/* out/indirect function for file::FileStat::atime */
-val_t FileStat_atime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::ctime */
-val_t FileStat_ctime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::mtime */
-val_t FileStat_mtime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::size */
-val_t FileStat_size___out( val_t recv );
-#ifndef FileStat
- typedef void* FileStat;
+#ifndef NIT_TYPE_Set_of_String
+#define NIT_TYPE_Set_of_String 1
+typedef struct nitni_instance *Set_of_String;