Imandra_prelude.LChar
An 8-bit char.
type t =
| Char of bool * bool * bool * bool * bool * bool * bool * bool
val zero : t
val to_int : t -> Caml.Int.t
val of_int : Caml.Int.t -> t
val of_char : char -> t
val to_char : t -> char
val pp : Stdlib.Format.formatter -> t -> unit
val explode : string -> t list
val is_printable : t -> bool