let db = Postgres.Connection.connect "dbname=mowgli user=helm host=mowgli.cs.unibo.it"

let _ =
  let status = 
    match Postgres.Connection.status db with
      Postgres.Connection.Ok -> "ok"
    | _ -> "bad"
  in
  Printf.printf "connection status is %s\n" status ;
  flush stdout

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

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