c_src: regenerate

[nit.git] / c_src / standard__kernel.sep.0.h

diff --git a/c_src/standard__kernel.sep.0.h b/c_src/standard__kernel.sep.0.h
new file mode 100644 (file)
index 0000000..3e25dd8
--- /dev/null
+++ b/c_src/standard__kernel.sep.0.h
@@ -0,0 +1,35 @@
+#include "nit.common.h"
+#define COLOR_standard__kernel__Object___61d_61d 2
+#define COLOR_standard__kernel__Object__object_id 0
+extern const struct type type_standard__Int;
+extern const char FILE_standard__kernel[];
+void nit__abstract_compiler___standard__Sys___main(val* self);
+long kernel___Sys_errno___impl( struct nitni_instance * recv );
+#define COLOR_standard__kernel__Comparable__OTHER 0
+#define COLOR_standard__kernel__Comparable___60d 32
+extern const struct class class_standard__Bool;
+long standard___standard__Bool___to_i(short int self);
+long standard___standard__Bool___Object__hash(short int self);
+extern const struct class class_standard__Float;
+extern const struct type type_standard__Float;
+val* BOX_standard__Float(double);
+double standard___standard__Float___Numeric__to_f(double self);
+long standard___standard__Float___Comparable___60d_61d_62d(double self, double p0);
+long standard___standard__Int___Discrete__successor(long self, long p0);
+val* BOX_standard__Int(long);
+long standard___standard__Int___Object__hash(long self);
+extern const struct class class_standard__Int;
+long standard___standard__Int___Numeric__to_i(long self);
+long standard___standard__Int___Discrete__distance(long self, long p0);
+long standard___standard__Int___Comparable___60d_61d_62d(long self, long p0);
+long standard___standard__Int___digit_count_base_95d10(long self);
+long standard___standard__Char___Object__hash(char self);
+extern const struct class class_standard__Char;
+extern const struct type type_standard__Char;
+val* BOX_standard__Char(char);
+long standard___standard__Char___Discrete__distance(char self, char p0);
+short int standard___standard__Char___is_digit(char self);
+char standard___standard__Char___to_lower(char self);
+short int standard___standard__Char___is_upper(char self);
+short int standard___standard__Char___is_lower(char self);
+#include "kernel_nit.h"