diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-18 15:47:55 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-18 15:47:55 +0100 |
| commit | 9491f6727f12e37241863bd5becbd1f336ff7659 (patch) | |
| tree | e8ab5081d52162d2337df12685d76760acc4d1d0 /lib/stdlib/doc/src/ordsets.xml | |
| parent | 81a1e29ba726d0ef24f5ac15808d69c5cbd1a875 (diff) | |
| parent | b93b7444230ebc358f8b0d64798e65f50a249e5a (diff) | |
| download | otp-9491f6727f12e37241863bd5becbd1f336ff7659.tar.gz otp-9491f6727f12e37241863bd5becbd1f336ff7659.tar.bz2 otp-9491f6727f12e37241863bd5becbd1f336ff7659.zip | |
Merge branch 'mm/stdlib/ord-docs/PR-1242'
* mm/stdlib/ord-docs/PR-1242:
Document the ordering used in ordsets and orddicts
Diffstat (limited to 'lib/stdlib/doc/src/ordsets.xml')
| -rw-r--r-- | lib/stdlib/doc/src/ordsets.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/ordsets.xml b/lib/stdlib/doc/src/ordsets.xml index 148281fcf7..7b590932e4 100644 --- a/lib/stdlib/doc/src/ordsets.xml +++ b/lib/stdlib/doc/src/ordsets.xml @@ -39,7 +39,8 @@ <p>Sets are collections of elements with no duplicate elements. An <c>ordset</c> is a representation of a set, where an ordered list is used to store the elements of the set. An ordered list - is more efficient than an unordered list.</p> + is more efficient than an unordered list. Elements are ordered + according to the <em>Erlang term order</em>.</p> <p>This module provides the same interface as the <seealso marker="sets"><c>sets(3)</c></seealso> module |