Agda.TypeChecking.Free.Lazy

data FlexRig

composeFlexRig

data VarOcc

maxVarOcc

topVarOcc

botVarOcc

type VarMap

Collecting free variables.

data IgnoreSorts

data FreeEnv c

type Variable

type SingleVar c

initFreeEnv

type FreeM c

variable

bind

go

goRel

underConstructor

class Free' a c