use Duration;
// src lint cache_size_index
/// Hidden filename at the cache root holding the byte count as plain
/// text decimal (one line, no trailing newline required).
pub const INDEX_FILENAME: &str = ".cache_size";
// src lint runtime
pub const STOP_POLL: Duration = from_millis;
// src lint trigger
pub const DELETE_LINT_DEBOUNCE: Duration = from_millis;
pub const LINT_DEBOUNCE: Duration = from_millis;