Function pgrx_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