Searched refs:SortedLists (Results 1 – 1 of 1) sorted by relevance
90 SortedLists = st.lists(Values).map(sorted) variable99 @given(ls=SortedLists, v=Values)108 @given(ls=SortedLists, v=Values)118 @given(ls=SortedLists, v=Values)