Skip to content
  • Robbert Krebbers's avatar
    Consistently name `wp_value_inv`. · 6edc1fe3
    Robbert Krebbers authored
    We already used the following naming convention: `wp_value'` is stated in
    terms of `of_val` and `wp_value` is stated in terms of `IntoVal`. This
    commit applies this convention to `wp_value_inv` as well.
    6edc1fe3