]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite/grafiteMarshal.mli
reimplemented specific marshallars on top of generic HMarshal marshaller
[helm.git] / helm / ocaml / grafite / grafiteMarshal.mli
index 4b49cfc41d771f095713ea0962ea6b6026bb1252..e60ad39d8daa370ee9c4fdd21bcbf9f564e710ad 100644 (file)
  * http://helm.cs.unibo.it/
  *)
 
-  (** name of the corrupt .moo file *)
-exception Checksum_failure of string
-exception Corrupt_moo of string
-exception Version_mismatch of string
-
 type ast_command = Cic.obj GrafiteAst.command
 type moo = ast_command list