Module WherePred

This module provides the public class WherePred.

Import path

import codeql.rust.elements.WherePred

AstNode	This module provides the public class `AstNode`.
ForBinder	This module provides the public class `ForBinder`.
Lifetime	This module provides the public class `Lifetime`.
TypeBoundList	This module provides the public class `TypeBoundList`.
TypeRepr	This module provides the public class `TypeRepr`.

A predicate in a where clause.