Method synth_name

crates/kernel/src/ingress.rs:334–338

Generate a unique synthetic name like `_s0`, `_s1`, etc.

(&self)

  build: impl FnOnce() -> KExpr<M>,
  stats: &mut ConvertStats,
) -> KExpr<M> {
  if !stats.enabled {
    if let Some(existing) = intern.try_get_expr(key) {
      return existing;
    }
    return intern.intern_expr(build());
  }
  let t0 = Instant::now();