Shorten Code and Document Return Value
Shorten Code and Document Return Value

Use Linq to shorten the implementation of IsOrdered(), and document that it is for checking whether a sequence is strictly decreasing.
fsharp/FsCheck,fscheck/FsCheck,fscheck/FsCheck,ploeh/FsCheck