Как я могу установить условия для тестовых входных данных при выполнении тестирования на основе свойств?

Как я могу установить условия для тестовых входных данных при выполнении тестирования на основе свойств?

Например, следующий код генерирует логические значения, когда мне нужны целые числа:

Gen.map (fun v -> v > 0) 

Вот функция:

[<Property(QuietOnSuccess = true)>]
let ``number of cells in grid equals rowcount squared`` () =
    let values = Arb.generate<int> |> Gen.map (fun v -> v > 0) 
                                   |> Arb.fromGen

Мне нужно что-то вроде этого, чтобы я мог получить соответствующие целые числа:

Gen.filter (fun v -> v > 0) 

Однако я просто не вижу возможности для этого.

Какие-либо предложения?