Function negateLaw

Return the given law but with its predicate negated.

negateLaw<Ts>(law): Law<Ts>
Type Parameters
- Ts extends UnknownArgs
Parameters
- law: Law<Ts>
  The law to be negated.
Returns Law<Ts>
A new Law object.
- Defined in src/law/law.ts:119