Contradiction

FALSE

Signature

contradiction() -> Predicate

Examples

false
contradiction

Description

This predicate always return false. It is equivalent to ->(t){ false }.