CodeQL library for C#

codeql/csharp-all 3.1.1-dev (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

apCons

Module signature StageParam

Predicates

getCallContextCall

getCallContextReturn

instanceofCcCall

instanceofCcNoCall

projectToHeadContent

viableImplCallContextReduced

viableImplCallContextReducedReverse

viableImplNotCallContextReduced

viableImplNotCallContextReducedReverse

Types

Predicate signature MakeImpl::Impl::MkStage::StageParam::apCons

signature Ap apCons(Content c, Typ t, Ap tail)

Copyright 2024 GitHub Software UK Ltd.Privacy Statement