option allow_aggregation_unsafe

Default: false

Enables aggregation, which is not functorial. Associativity, commutativity, and unitality of the given aggegrates are not checked for those properties by the prover.

Keyword:

Appears in:

Aggregation