tree 64aab73bcd8742b532cd6d73af9a2cf77035b818
parent bd0f499108de4b2f0257111c83435c9dc0fcd02b
author Leonardo de Moura <leomoura@amazon.com> 1716238230 -0700
committer Leonardo de Moura <leomoura@amazon.com> 1716238230 -0700

feat: simprocs for `String` and `Char` `<`, `<=`, `>`, `>=`