Tautology

TRUE

Signature

tautology() -> Predicate

Examples

true
tautology

Description

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