def wf.char

emerging-eztoml@0.9.0.0 · main.bend:6116

import Base

6116# a Unicode scalar value: no surrogate, and nothing past U+10FFFF
6117def wf.char(+cc: Char) -> Bool:
6118  uni.ok(Char.to_u32(cc))