helm/interface/cicParser.mli

   1 (******************************************************************************)
   2 (*                                                                            *)
   3 (*                               PROJECT HELM                                 *)
   4 (*                                                                            *)
   5 (*                Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>               *)
   6 (*                                 22/03/2000                                 *)
   7 (*                                                                            *)
   8 (* This is the main (top level) module of a parser for cic objects from xml   *)
   9 (* files to the internal representation. It uses the modules cicParser2       *)
  10 (* (objects level) and cicParser3 (terms level)                               *)
  11 (*                                                                            *)
  12 (******************************************************************************)
  13
  14 (* given the filename of an xml file of a cic object and it's uri, it returns *)
  15 (* its internal annotated representation. The boolean is set to true if the   *)
  16 (* annotations do really matter                                               *)
  17 val term_of_xml :
  18  string -> UriManager.uri -> bool ->
  19   Cic.annobj * (Cic.id, Cic.anntarget) Hashtbl.t option