Function z3::get_global_param

pub fn get_global_param(k: &str) -> Option<String>

Get a global (or module) parameter.

See also

• set_global_param()
• reset_all_global_params()