CodeQL library for Rust
codeql/rust-all 0.1.11 (changelog, source)
Search

Module DenseRank

Provides modules for computing dense ranks. See the DenseRank module below for a more detailed explanation.

Import path

import codeql.util.DenseRank

Modules

DenseRank

Provides the denseRank predicate for computing dense ranks. For example, if we have

DenseRank1

Same as DenseRank, but allows for a context consisting of one element.

DenseRank2

Same as DenseRank, but allows for a context consisting of two elements.

Module signatures

DenseRankInputSig

Provides the input to DenseRank.

DenseRankInputSig1

Provides the input to DenseRank1.

DenseRankInputSig2

Provides the input to DenseRank2.