(* ===================================================== *) (* Apprentissage de la programmation avec OCaml *) (* Catherine Dubois & Valérie Ménissier-Morain *) (* Éditions Hermès Sciences *) (* Mars 2004 *) (* ===================================================== *) (* Fichier MLSRC/CC/CC_temps/backtrack.mli *) (* ===================================================== *)