cottax.relational.mints module¶ The purposes relational’s declarations derive names for. class Cond[source]¶ Bases: Mint What an implicit model’s function writes per unknown, the condition on it: ^cond.u. class Require[source]¶ Bases: Mint Where the requirement beside a constraint binds: ^require.at. class Lower[source]¶ Bases: Mint A lower bound written as a value: ^lower.u. class Upper[source]¶ Bases: Mint An upper bound written as a value: ^upper.u. class Target[source]¶ Bases: Mint An equality’s target written as a value: ^target.h.