Agda.Syntax.Internal.Defs
getDefs'
type GetDefsM b
data GetDefsEnv b
class MonadGetDefs m
class GetDefs a