Constant mz_mysql_util::DEFAULT_SNAPSHOT_MAX_EXECUTION_TIME

pub const DEFAULT_SNAPSHOT_MAX_EXECUTION_TIME: Duration;