Description
Simple logical constraints 'syntax-sugar' writing library.
Description
Some library functions and data to simplify the writing of the simple logical constraints of Ord class data instances so that it represents point-wise and interval-based logics.