Module constructors

This module provides monomorphic constructors for Prop. Hax rewrite more elaborated versions (see forall or AndBit below) to those monomorphic constructors.

Functions

and

eq

Logical equality between two value of any type

exists

forall

from_bool

implies

ne

not

or