[CAML] Problema implementazione

Salve a tutti! Non so se ho sbagliato sezione..nel caso mi scuso in anticipo!

Volevo sapere se c'è qualcuno che può darmi una mano..devo implementare gli automi deterministici usando il linguaggio CAML (non OCAML) in questo esercizio:

Verificare se date 2 lettere in input e una lista di parole (3) , il programma mi restituisca TRUE se esse sono presenti almeno una volta nelle parole altrimenti FALSE se non sono presenti.

Questo è il programma senza automi:

let string_check c1 c2 string = (index_char string c1)>0 && (index_char string c2)>0;;

let rec progCaml a b s_list = 
  match s_list with
    [] -> false
  | x::xs -> try
                (string_check a b x)
        with
              Not_found -> progCaml a b xs;;

grazie!