pgrx_pg_sys::InstrumentOption

Constant INSTRUMENT_TIMER

Source 
pub const INSTRUMENT_TIMER: Type = 1;