Module Imandra_utils

Imandra utilities.

val (==>) : bool -> bool -> bool
val (<==>) : bool -> bool -> bool