c_src/standard__kernel.sep.0.h

   1 #include "nit.common.h"
   2 #define COLOR_standard__kernel__Object___61d_61d 4
   3 #define COLOR_standard__kernel__Object__object_id 7
   4 extern const struct type type_standard__Int;
   5 extern const char FILE_standard__kernel[];
   6 void nit__abstract_compiler___standard__Sys___main(val* self);
   7 #include "kernel_nit.h"
   8 #define COLOR_standard__kernel__Comparable__OTHER 0
   9 #define COLOR_standard__kernel__Comparable___60d 19
  10 long standard___standard__Bool___to_i(short int self);
  11 long standard___standard__Bool___Object__hash(short int self);
  12 extern const struct class class_standard__Float;
  13 extern const struct type type_standard__Float;
  14 val* BOX_standard__Float(double);
  15 double standard___standard__Float___Numeric__to_f(double self);
  16 long standard___standard__Float___Comparable___60d_61d_62d(double self, double p0);
  17 extern const struct type type_standard__Byte;
  18 unsigned char standard___standard__Byte___Discrete__successor(unsigned char self, long p0);
  19 val* BOX_standard__Byte(unsigned char);
  20 long standard___standard__Byte___Object__hash(unsigned char self);
  21 extern const struct class class_standard__Byte;
  22 unsigned char standard___standard__Byte___Numeric__to_b(unsigned char self);
  23 long standard___standard__Byte___Discrete__distance(unsigned char self, unsigned char p0);
  24 long standard___standard__Byte___Comparable___60d_61d_62d(unsigned char self, unsigned char p0);
  25 long standard___standard__Int___Discrete__successor(long self, long p0);
  26 long standard___standard__Int___Object__hash(long self);
  27 long standard___standard__Int___Numeric__to_i(long self);
  28 long standard___standard__Int___Discrete__distance(long self, long p0);
  29 long standard___standard__Int___Comparable___60d_61d_62d(long self, long p0);
  30 long standard___standard__Int___digit_count_base_95d10(long self);
  31 long standard___standard__Char___Object__hash(uint32_t self);
  32 extern const struct type type_standard__Char;
  33 long standard___standard__Char___Discrete__distance(uint32_t self, uint32_t p0);
  34 short int standard___standard__Char___is_digit(uint32_t self);
  35 uint32_t standard___standard__Char___to_lower(uint32_t self);
  36 short int standard___standard__Char___is_upper(uint32_t self);
  37 short int standard___standard__Char___is_lower(uint32_t self);