We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
::
Used to separate a quantifier from a definition.
exists
forall
map
set
forall evaluates an expression for each value provided.
Defines a mapping (ie hashmap, dictionary, etc).
Defines a set.