cpf_of_xml.mli

(******************************************************************************
Rainbow, a termination proof certification tool
See the COPYRIGHTS and LICENSE files.

- Frederic Blanqui, 2009-08-28

from xml to the internal representation of cpf files
******************************************************************************)

open Cpf;;
open Xml;;

val certificationProblem : xml -> certificationProblem;;