Function store_string

crates/compile/src/compile.rs:335–337

Store a string as a blob and return its address.

(s: &str, stt: &CompileState)

  /// its canonical `addr`/`meta`; `original` captures the Lean-native form.
  ///
  /// Errors with `CompileError::InvalidMutualBlock` if the metadata's
  /// self-name address does not match `name`'s compiled address — that
  /// mismatch is structural corruption (the address map and the name
  /// table disagree about which constant this `meta` describes) and
  /// silently continuing would splice foreign metadata into `name`'s
  /// Named entry.