Commit 2022-08-10 03:11 146d3d1f

chore(*/..eq): add is_refl instances (#15963) This allows the use of docs#of_eq, an extremely underused utility method. Also fixes smodeq to match the rfl/refl conventions.