Agda.TypeChecking.Free.Lazy

type MetaSet

data FlexRig

composeFlexRig

data VarOcc

maxVarOcc

topVarOcc

botVarOcc

composeVarOcc

class IsVarSet a

type VarMap

Collecting free variables.

data IgnoreSorts

data FreeEnv c

type Variable

type SingleVar c

initFreeEnv

type FreeM c

runFreeM

variable

subVar

bind

bind'

go

goRel

underConstructor

class Free a