我有一个用于查询数据库的搜索类型，如下所示，

type UserSearch = 
  { limit: int option
    skip: int option }

我正在使用SQLProvider，并希望在查询中使用limit和skip变量，例如

query {
  for user in Db.getDataContext().MyDb.Users do
  select user

  // if searchParams.limit.IsSome then
  //     take searchParams.limit.Value
  // if searchParams.skip.IsSome then
  //     skip searchParams.skip.Value
}

有可能吗？
我目前的做法如下：

let mutable search =
  query {
    for user in Db.getDataContext().MyDb.Users do
    select user
  }

if searchParams.limit.IsSome then
  search <-
    query {
      for user in search do
      select user
      take searchParams.limit.Value
    }

search |> Seq.toArray

由于查询是惰性的，这应该会导致一个单一的查询，我的假设正确吗？