DDC.Core.Exp.Annot.Predicates

Atoms

isXVar

isXCon

isAtomX

isAtomW

Lambdas

isXLAM

isXLam

isLambdaX

Applications

isXApp

Cast

isXCast

isXCastBox

isXCastRun

Let bindings

isXLet

Patterns

isPDefault

Types and Witnesses

isXType

isXWitness