Module Coqbyte

module Coqbyte: sig .. end

val char_of_coqbyte : Constr.constr -> char

val char_to_coqbyte : char -> Constr.constr

val coqbyte_t : Constr.constr