]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/dbconn.ml
After Union and Relation
[helm.git] / helm / ocaml / mathql_interpreter / dbconn.ml
index db4b8fb9cf8542c05183af073b4fdfebbf886e62..a6b1b2cce8351f15345a5bc6f01509762e31b852 100644 (file)
  *)
 open MathQL;;
 
+exception MQInvalidURI of string
+exception MQConnectionFailed of string
+exception MQInvalidConnection of string
+
+
+
 (*
  * paramentri della connessione
  *