Constant pgrx_pg_sys::DEFAULT_NUM_DISTINCT

source ยท 
pub const DEFAULT_NUM_DISTINCT: u32 = 200;