json-encode-char0

json-encode-char0 is an alias for `encode-char' in `json.el'.

(json-encode-char0 CH CHARSET &optional RESTRICTION)

Encode the character CH into a code-point of CHARSET.
Return nil if CHARSET doesn't include CH.