Constant FILE_EXTENSION_Z3

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

The file extension for Z-machine.