module PG = Postgres

let db =
  try
    new PG.connection "dbname='mowgli_test' user='helm' host='mowgli.cs.unibo.it'"
  with
    PG.Error e as exc ->
      prerr_endline (PG.string_of_error e) ;
      raise exc

let res = db#exec "SELECT * FROM refObj WHERE source = 'cic:/Coq/Arith/Le/le_O_n.con';"

let _ =
  Printf.printf "# results: %d\n" (res#ntuples) ;
  flush stdout