Struct ignoreQualifiers

Attribute that can be applied on identifiers in a signature that will let the model checker know not to take type qualifiers in to account

struct ignoreQualifiers ;