mk_char : char -> term
Constructs object-level character from OCaml character.
produces the HOL term of type
corresponding to the OCaml character
# mk_char 'c';; val it : term = `ASCII F T T F F F T T`
There is no particularly convenient parser/printer support for the HOL
type, but when combined into lists they are considered as strings and provided with more intuitive parser/printer support.