GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12
Package sets
ModuleAgda-2.8.0.2Haskell2010
sayWhere :: (MonadPretty m, HasRange a) => a -> m Doc -> m Doc
PrettyTCM Call
PrettyTCM CallInfo