Agda.Compiler.Treeless.Subst

data UnderLambda

data SeqArg

data Occurs

once

inSeq

underLambda

class HasFree a

freeIn

occursIn

data Binder a

data InSeq a