Module Bool.Constraint

type t

The type for bool constraints.

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