Module Jasmin.Bool

type reflect =
  1. | ReflectT
  2. | ReflectF
val iff_reflect : bool -> reflect