Function negateLaw

negateLaw<Ts extends UnknownArgs>(law: Law<Ts>): Law<Ts>
Return the given law but with its predicate negated.
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:122