Constant EXTENSION_NAME_DIVERGENT

pub const EXTENSION_NAME_DIVERGENT: &str = "divergent";