Agda-2.3.0: src/full/Agda/TypeChecking/Datatypes.hs-boot

module Agda.TypeChecking.Datatypes where

import Agda.TypeChecking.Monad.Base
import Agda.Syntax.Internal

getConstructorData :: QName -> TCM QName