mz_sql::session::vars::value

Constant MICRO_TO_MILLI

Source 
const MICRO_TO_MILLI: u32 = 1000u32;