structure LibpqH = struct local val lh = DynLinkage.open_lib { name = "/usr/lib/libpq.so", global = true, lazy = true } in fun libh s = let val sh = DynLinkage.lib_symbol (lh, s) in fn () => DynLinkage.addr sh end end end