Agda-2.3.2: src/full/Agda/TypeChecking/ProjectionLike.hs-boot

module Agda.TypeChecking.ProjectionLike where

import Agda.Syntax.Abstract.Name (QName)
import Agda.TypeChecking.Monad.Base

makeProjection :: QName -> TCM ()