Constant pgrx_pg_sys::F_INTERVAL_TIME

source ยท 
pub const F_INTERVAL_TIME: u32 = 1370;