[Iris-Club] Final breaking changes before Iris 3.0

[Jan-Oliver Kaiser]

The actual module name is
algebra.deprecated.dec_agree.

Jan-Oliver


On 12/09/2016 05:42 PM, Ralf Jung wrote:
>
> I contrived a new agreement construction that has the property of
> preserving discreteness of the OFE it works on.  As a consequence,
> algebra.agree is now suitable for cases where we previously pretty much
> had to use algebra.dec_agree, and the latter is deprecated.  (It can
> still be imported as algebra.deprecated.dec_agre_deprecated.)