Module Djot_kernel.Bool0

val eqb : bool -> bool -> bool
val iff_reflect : bool -> Datatypes.reflect