-- -*- M2-comint -*- {* hash: 1058426742 *}
i1 : isSorted {1,2,2,3}
o1 = true
i2 : isSorted {1,2,3,2}
o2 = false
i3 :
-- -*- M2-comint -*- {* hash: 1058426742 *}
i1 : isSorted {1,2,2,3}
o1 = true
i2 : isSorted {1,2,3,2}
o2 = false
i3 :
::
::
::
