No carrier value as a constant: the lift that names nothing, so eliminate_quantifiers eliminates by definition alone and leaves every quantifier over a chain to the search. More...

Detailed Description

No carrier value as a constant: the lift that names nothing, so eliminate_quantifiers eliminates by definition alone and leaves every quantifier over a chain to the search.

The documentation for this struct was generated from the following file:

src/main/modules/dedekind/sets/terms.cppm