kdrag.solvers.kb.multiset.shortlex ================================== .. currentmodule:: kdrag.solvers.kb.multiset .. autofunction:: shortlex