+ redef fun ==(o)
+ do
+ if o isa Char then
+ if len != 1 then return false
+ if code_point == o.ascii then return true
+ else if o isa UnicodeChar then
+ if len != o.len then return false
+ if code_point == o.code_point then return true
+ end
+ return false
+ end
+