Refused at the carrier: an operator not total there, a division by a term, an order comparison on an unordered carrier, a slot the points have not. Raised when a term built at run time is bound. More...

Inheritance diagram for dedekind::sets::not_admitted:

[legend]

Collaboration diagram for dedekind::sets::not_admitted:

[legend]

Detailed Description

Refused at the carrier: an operator not total there, a division by a term, an order comparison on an unordered carrier, a slot the points have not. Raised when a term built at run time is bound.

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

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