Commit 2021-12-23 16:33 60c2b68c
View on Github →feat(data/sigma/order): The lexicographical order has a bot/top (#10905)
Also fix localized instances declarations. They weren't using fully qualified names and I had forgotten sigma.lex.linear_order.