Variante qui d'après ce que j'ai compris de ton code y ressemble davantage :

let premiers_premiers n = let liste = ref [2] and p = ref 2 in
for i = 0 to n - 1 do while List.exists (function x -> !p mod x = 0) !liste do incr p done; liste := !p :: !liste done; !liste