Agda.TypeChecking.Free.Lazy
data FlexRig
composeFlexRig
data VarOcc
maxVarOcc
topVarOcc
botVarOcc
type VarMap
data IgnoreSorts
data FreeEnv c
type Variable
type SingleVar c
initFreeEnv
type FreeM c
variable
bind
go
goRel
underConstructor
class Free' a c