Function mk_id

crates/kernel/src/whnf.rs:3085–3087

(s: &str)

    let a = intern_int_lit(self, a_val);
    let b = intern_int_lit(self, b_val);
    if a.hash_key() == args[0].hash_key() && b.hash_key() == args[1].hash_key()
    {
      return Ok(None);
    }