DDC.Core.Predicates

Atoms

isXVar

isXCon

isAtomX

isAtomW

Lambdas

isXLAM

isXLam

isLambdaX

Applications

isXApp

Let bindings

isXLet

Types and Witnesses

isXType

isXWitness

Patterns

isPDefault