fn check_ident()

in z3tracer/src/model.rs [588:594]

• 7 lines of code
• 3 McCabe index (conditional complexity)

    fn check_ident(&self, id: &Ident) -> RawResult<()> {
        if self.terms.contains_key(id) || id.is_builtin() {
            Ok(())
        } else {
            Err(RawError::UndefinedIdent(id.clone()))
        }
    }