Constant FILE_EXTENSION_Z3

Source
pub const FILE_EXTENSION_Z3: &'static str;