Revision abc9a26c52ff679634990e44a0f3465356110fd4

Committed on 08/11/2023 4:59 am by Edi Modrić <[email protected]> [GitHub Diff]

Add ordered_types rule