Skip to content

Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++.

Robbert Krebbers requested to merge robbert/equiv_entails into master

Hence, also rename (the old) equiv_entailsequiv_entails_1_1 and equiv_entails_symequiv_entails_1_2, and add equiv_entails_2 for completeness.

See discussion in stdpp!210 (comment 61921)

Edited by Robbert Krebbers

Merge request reports