Skip to content

Naming convention about lookup/elem_of.

Robbert Krebbers requested to merge robbert/naming_order into master

See discussion in stdpp!506 (comment 96086)

Edited by Robbert Krebbers

Merge request reports