Module ideal_collector 

Structs

IdealCollector

A ConstraintBuilder that collects ideals used in a Uair.

Enums

IdealOrZero

Either a non-trivial ideal (from assert_in_ideal) or the zero ideal (from assert_zero).

Functions

collect_ideals

Given a Uair and a hint of how many constraints it is going to have, creates an IdealCollector object and collects ideals from the Uair.