Function read_string

crates/compile/src/decompile.rs:154–163

Read a string from the blob store.

(
  addr: &Address,
  stt: &CompileState,
)

          },
          ED::Lam(_, t, b, _, _) | ED::ForallE(_, t, b, _, _) => {
            stack.push((t.clone(), false));
            stack.push((b.clone(), false));
          },
          ED::LetE(_, t, v, b, _, _) => {
            stack.push((t.clone(), false));
            stack.push((v.clone(), false));
            stack.push((b.clone(), false));
          },
          ED::Mdata(_, inner, _) => stack.push((inner.clone(), false)),
          ED::Proj(_, _, s, _) => stack.push((s.clone(), false)),
          ED::Bvar(..)
          | ED::Fvar(..)
          | ED::Mvar(..)