Seq считают число элементов

open System.Linq

mySeq.Count()

... и надеюсь, что она конечна

вы можете использовать Seq.length

К вашему сведению, если вы выполните поиск в документации библиотеки для Seq по запросу « -> int », вы найдете это довольно быстро.