.&&. package:Agda

Conjunction of LexPredicates.