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