Function read_const

crates/compile/src/decompile.rs:166–171

Read a Constant from the const store, materializing the lazy entry.

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

          ED::Bvar(..)
          | ED::Fvar(..)
          | ED::Mvar(..)
          | ED::Sort(..)
          | ED::Const(..)
          | ED::Lit(..) => {},
        }
        continue;
      }

      // Children are canonicalized (they were pushed after this node's