(* Tous les éléments d'une liste vérifient un prédicat donné *)

let rec forall p = function
  | []     -> true
  | x :: l -> p x && forall p l

(* note : c'est List.for_all dans la bibliothèque OCaml *)

This document was generated using caml2html