Revision abc9a26c52ff679634990e44a0f3465356110fd4

Committed on 08/11/2023 4:59 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Add ordered_types rule