Function pgx_pg_sys::predicate_refuted_by

pub unsafe fn predicate_refuted_by(
    arg_predicate_list: *mut List, 
    arg_clause_list: *mut List, 
    arg_weak: bool
) -> bool