Commits

Dmitry Grebeniuk  committed dfa5301

Dbi_pg: + connection_eq

  • Participants
  • Parent commits cc2f9e4

Comments (0)

Files changed (1)

File src/dbi/dbi_pg.ml

   end
 ;
 *)
+
+
+value connection_eq (c1 : connection) (c2 : connection) = (c1 == c2)
+;