Module Jstr.Constraint

type t

The type for bool constraints.

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