module Agda.TypeChecking.Pretty.Warning where import Agda.TypeChecking.Monad.Base import {-# SOURCE #-} Agda.TypeChecking.Pretty (PrettyTCM) instance PrettyTCM Warning