Проблема с сопоставлением с образцом в ocaml

Я написал функцию, используемую для разложения логической функции, проблема в том, что при компиляции я получаю следующее: «Предупреждение 5: это приложение функции является частичным, возможно, некоторые аргументы отсутствуют». Как я могу решить эту проблему? Я неправильно установил сопоставление шаблона или не могу выполнить эту операцию с сопоставлением с образцом

Код следующий:

         let rec decomposition state_init state prec formula =        
            match formula with        
            And form -> (fun () -> 
                    let f1 = List.hd form in
                    let f2 = And(List.tl form )in                      

                    let new_state = Forms (state_init,f1) in

                    decomposition state_init new_state state f1;            

                    decomposition state_init new_state state f2;

                    Hashtbl.add graph new_state (("",false,state :: []) , []) ;

                    let x = Hashtbl.find graph state in
                    let succ = state :: snd x in
                    let (desc,last,ptrs) = fst x in

                    Hashtbl.replace graph state ( ("And-node",last,ptrs) , succ))