module FStar.Seq.Properties

fsdoc: no-summary-found

fsdoc: no-comment-found

 More properties, with new naming conventions

pragma

Dealing efficiently with seq_of_list by meta-evaluating conjunctions over an entire list.

let ((sortWith (#a:eqtype) (f:Unidentified product: [a] Unidentified product: [a] (Tot int)) (s:seq a)):(Tot (seq a))):seq_of_list (List.Tot.Base.sortWith f (seq_to_list s))

**** sortWith *****