Mentions légales du service

Skip to content

Give names to ensures and invariant

Benedikt Becker requested to merge 261-giving-names-to-requires-and-ensures into master

This MR allows naming ensures and invariant when they appear as hypotheses.

Naming assert and requires was resolved by !129 (merged). Naming returns and raises is omitted for now, because it is unclear how the name relates to the different cases. variant never appears as precondion.

Closes #261 (closed)

Edited by Benedikt Becker

Merge request reports