Contradiction
FALSE
Signature
contradiction() -> Predicate
Examples
false
contradiction
Description
This predicate always return false. It is equivalent to ->(t){ false }
.
FALSE
contradiction() -> Predicate
false
contradiction
This predicate always return false. It is equivalent to ->(t){ false }
.