|| package:Agda

Disjunction of LexPredicates.