Module Prop.Bool

bool constraints.

module Constraint : sig ... end