Agda.Syntax.Internal.SanityCheck

sanityCheckVars

sanityCheckSubst