Constant pgrx_pg_sys::HAVE_INDEXOPTINFO_TYPEDEF

pub const HAVE_INDEXOPTINFO_TYPEDEF: u32 = 1;