Function pgx_pg_sys::predicate_refuted_by
source · pub unsafe fn predicate_refuted_by(
arg_predicate_list: *mut List,
arg_clause_list: *mut List,
arg_weak: bool
) -> boolpub unsafe fn predicate_refuted_by(
arg_predicate_list: *mut List,
arg_clause_list: *mut List,
arg_weak: bool
) -> bool