Agda.Syntax.Internal.Defs

getDefs'

type GetDefsM b

data GetDefsEnv b

class MonadGetDefs m

class GetDefs a