inline toInt ():Int
inline toString ():String
staticinline addInt (a:CodePoint, b:Int):CodePoint
staticinline cons (a:CodePoint, b:String):String
staticinline fromInt (code:Int):CodePoint
staticinline snoc (a:String, b:CodePoint):String
staticinline sub (a:CodePoint, b:CodePoint):Int
staticinline subInt (a:CodePoint, b:Int):CodePoint