module Coqbool: sig .. end
sig
end
val bool_of_coqbool : Constr.constr -> bool
Constr.constr -> bool
val bool_to_coqbool : bool -> Constr.constr
bool -> Constr.constr