== -package:hmatrix -package:hedgehog -package:universe-reverse-instances package:tasty-smallcheck

The ==> operator can be used to express a restricting condition under which a property should hold. It corresponds to implication in the classical logic. Note that ==> resets the quantification context for its operands to the default (universal).