long core___core__Int___digit_count_base_95d10(long self);
long core___core__Char___Object__hash(uint32_t self);
extern const struct type type_core__Char;
long core___core__Char___Discrete__distance(uint32_t self, uint32_t p0);
short int core___core__Char___is_digit(uint32_t self);
uint32_t core___core__Char___to_lower(uint32_t self);
long core___core__Int___digit_count_base_95d10(long self);
long core___core__Char___Object__hash(uint32_t self);
extern const struct type type_core__Char;
long core___core__Char___Discrete__distance(uint32_t self, uint32_t p0);
short int core___core__Char___is_digit(uint32_t self);
uint32_t core___core__Char___to_lower(uint32_t self);