This commit is contained in:
2021-12-02 15:54:29 +00:00
parent 989e379e2d
commit 91c05d9910
1464 changed files with 261 additions and 0 deletions

View File

@@ -1,16 +0,0 @@
/* src/test/modules/test_predtest/test_predtest--1.0.sql */
-- complain if script is sourced in psql, rather than via CREATE EXTENSION
\echo Use "CREATE EXTENSION test_predtest" to load this file. \quit
CREATE FUNCTION test_predtest(query text,
OUT strong_implied_by bool,
OUT weak_implied_by bool,
OUT strong_refuted_by bool,
OUT weak_refuted_by bool,
OUT s_i_holds bool,
OUT w_i_holds bool,
OUT s_r_holds bool,
OUT w_r_holds bool)
STRICT
AS 'MODULE_PATHNAME' LANGUAGE C;