Here is a list of all struct and union fields with links to the structures/unions they belong to:

- w -

• weight() : QuantifierRef
• what() : exception
• with : simplifier, tactic