Add *lexF_{asym,str_conn},
*lexT_{partial,total}_order. Modify *lexF_strict_{partial,total}_order (were *lex_strict_{partial,total}_order).
Loading
Please register or sign in to comment
*lexT_{partial,total}_order. Modify *lexF_strict_{partial,total}_order (were *lex_strict_{partial,total}_order).