Method resolve_addr

crates/compile/src/compile.rs:263–265

Look up a compiled constant's address (with `aux_name_to_addr` fallback).

(&self, name: &Name)

      block_stats: Default::default(),
      ungrounded: Default::default(),
      aux_gen_extra_names: Default::default(),
      aux_gen_pending: std::sync::Mutex::new(Vec::new()),
      aux_name_to_addr: Default::default(),
      lean_env: None,
      call_site_plans: Default::default(),
      brec_on_call_site_plans: Default::default(),