Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face

1likes14kdownloads

rootpgsqlshareextensiontest_predtest--1.0.sql

test_predtest--1.0.sql17 linesDownload Raw Back to extension

1/* src/test/modules/test_predtest/test_predtest--1.0.sql */2 3-- complain if script is sourced in psql, rather than via CREATE EXTENSION4\echo Use "CREATE EXTENSION test_predtest" to load this file. \quit5 6CREATE FUNCTION test_predtest(query text,7  OUT strong_implied_by bool,8  OUT weak_implied_by bool,9  OUT strong_refuted_by bool,10  OUT weak_refuted_by bool,11  OUT s_i_holds bool,12  OUT w_i_holds bool,13  OUT s_r_holds bool,14  OUT w_r_holds bool)15STRICT16AS 'MODULE_PATHNAME' LANGUAGE C;17