order: add wt_lex_cmp + wt_lenlex_cmp - #472

order: add wt_lex_cmp + wt_lenlex_cmp#472

james-d-mitchell wants to merge 1 commit into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:wt-ordersjames-d-mitchell/libsemigroups_pybind11:wt-ordersCopy head branch name to clipboard