]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/dbconn.mli
c382000c67c43ef9af46483cefc15355733596ee
[helm.git] / helm / ocaml / mathql_interpreter / dbconn.mli
1 val pgc : unit -> Postgres.connection
2 val init : unit -> unit
3 val close : unit -> unit