fn id2s()

in z3tracer/src/report.rs [24:33]

• 5 lines of code
• 2 McCabe index (conditional complexity)

    fn id2s(&self, id: &Ident) -> String;

    // Obtain the name of a term (if any).
    fn id2name(&self, id: &Ident) -> Option<String>;

    // Obtain the name of the quantifier behind a QI key.
    fn key2name(&self, k: &QiKey) -> Option<String>;
}

impl ModelExt for Model {