sig
  val char_of_coqbyte : Constr.constr -> char
  val char_to_coqbyte : char -> Constr.constr
  val coqbyte_t : Constr.constr
end