Module Bool.Constraint

type t

The type for bool constraints.

val v : ?⁠exact:bool -> ?⁠ideal:bool -> unit -> t