Выяснить каких чисел больше: положительных или отрицательных в дереве

open System
 
type 't btree =
    | Node of 't * 't btree * 't btree
    | Nil
 
[<EntryPoint>]
 
let main arg =
 
    //Обходим левое поддерево, корень, потом правое поддерево
    let infix root left right =
        (left ()
         root ()
         right ())
 
    // Выполняем проход по всему дереву
    let iterh f t =
        let rec tr t h =
            match t with
            | Node (x, L, R) ->
                infix
                    (fun () -> (f x h)) // обход корня
                    (fun () -> tr L (h + 1)) // обход левого поддерева
                    (fun () -> tr R (h + 1)) // обход прав. поддерева
            | Nil -> ()
 
        tr t 0
 
    //Вывод пробелов в количестве n
    let spaces n =
        List.fold (fun s _ -> s + " ") "" [ 0 .. n ]
    //Вывод дерева на экран (оно будет повернуто на 90 градусов)
    let print_tree T =
        iterh (fun x h -> printfn "%s%A" (spaces (h * 3)) x) T
 
    let rec insert whatToInsert tree = // вставка элемента в дерево
        match tree with
        | Nil -> Node(whatToInsert, Nil, Nil) //Если дерева не было - создаем одну ноду без дочерних
        | Node (znachenie, left, right) -> //Если дерево есть и нод несколько
            if whatToInsert < znachenie then //Ищем место, чтобы поместить новый элемент
                Node(znachenie, insert whatToInsert left, right)
            else
                Node(znachenie, left, insert whatToInsert right)
    
    //Создаем список, чтобы потом превратить его в дерево
    let listForTree =
        [
              let r = new Random()
              let n = r.Next(4, 20) //Количество элементов в списке
              //Переменная счетчик не нужна
              for _ in 1 .. n do
                  yield r.Next(0, 5) //Добавляем элементы в список
        ]
 
    //Сворачивает список,добавляя в дерево узлы
    let list_to_tree L = List.fold (fun t x -> insert x t) Nil L
    let treee = listForTree |> list_to_tree //Получаем дерево из списка
    printfn "Сгенерированное дерево: "
    treee |> print_tree //Выводим дерево

let countposneg tree =
    let rec cpn t acc =
        match t with
        | Node (v, left, right) -> 
            let nacc = if v > 0 then (1 + fst acc, snd acc) elif v < 0 then (fst acc, 1 + snd acc) else acc
            let lacc = cpn left nacc
            cpn right lacc
        | Nil -> acc
    cpn tree (0, 0)

let countposneg tree =
    let rec cpn t acc =
        match t with
        | Node (v, left, right) -> 
                if v > 0 then (1 + fst acc, snd acc) elif v < 0 then (fst acc, 1 + snd acc) else acc
                |> cpn left
                |> cpn right
        | Nil -> acc
    cpn tree (0, 0)