void opts__OptionBool__init(val* self, val* p0, val* p1);
extern const int COLOR_opts__OptionBool__read_param;
extern const int COLOR_opts__Option__value_61d;
void opts__OptionBool__read_param(val* self, val* p0);
void opts__OptionBool__init(val* self, val* p0, val* p1);
extern const int COLOR_opts__OptionBool__read_param;
extern const int COLOR_opts__Option__value_61d;
void opts__OptionBool__read_param(val* self, val* p0);