path: root/src/full/Agda/Interaction/InteractionTop.hs-boot

module Agda.Interaction.InteractionTop where

import Agda.TypeChecking.Monad.Base (TCM)

showOpenMetas :: TCM [String]