pub uninterp fn increasing_seq<K>(s: Seq<K>) -> boolExpand description
Whether a sequence is ordered in increasing order.
This only has meaning if K: Ord and obeys_cmp_spec::<K>.
See axiom_increasing_seq_meaning for an interpretation of this predicate.