class Contracts::Builtin::Not

Takes a variable number of contracts. The contract passes if all of those contracts fail for the given argument. Example: Not[nil]