Method resolve

crates/kernel/src/congruence.rs:28–30

(&self, name: &Name)

  }

  pub fn resolve(&self, name: &Name) -> Option<&Address> {
    self.map.get(name)
  }
}

/// Check that a Lean-side Level matches a zero Univ structurally.