ord -package:sbv -package:leancheck -package:cabal-install-solver -package:rerebase package:fixed-vector

Lexicographic ordering of two vectors.