FILE_EXTENSION_Z3

Constant FILE_EXTENSION_Z3 

Source
pub const FILE_EXTENSION_Z3: &str = "z3";
Expand description

The file extension for Z-machine.