Module Jstr.Constraint

type t

The type for bool constraints.

val v : ?⁠exact:Jstr.t list -> ?⁠ideal:Jstr.t list -> unit -> t