Agda.TypeChecking.Free.Lazy
type MetaSet
data FlexRig
composeFlexRig
data VarOcc
maxVarOcc
topVarOcc
botVarOcc
composeVarOcc
class IsVarSet a
type VarMap
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