+++ /dev/null
-/* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/hash. */
-#ifndef standard___hash_sep
-#define standard___hash_sep
-#include "standard___kernel._sep.h"
-#include <nit_common.h>
-extern const char LOCATE_standard___hash[];
-extern const int SFT_standard___hash[];
-#define CALL_standard___hash___Object___hash(recv) ((standard___hash___Object___hash_t)CALL((recv), (SFT_standard___hash[0] + 0)))
-val_t standard___hash___Object___hash(val_t p0);
-typedef val_t (*standard___hash___Object___hash_t)(val_t p0);
-val_t standard___hash___Int___hash(val_t p0);
-typedef val_t (*standard___hash___Int___hash_t)(val_t p0);
-val_t standard___hash___Char___hash(val_t p0);
-typedef val_t (*standard___hash___Char___hash_t)(val_t p0);
-val_t standard___hash___Bool___hash(val_t p0);
-typedef val_t (*standard___hash___Bool___hash_t)(val_t p0);
-#endif