Method decode

crates/ffi/src/ix/env.rs:184–194

Decode Ix.RawEnvironment from Lean object into HashMap. RawEnvironment = { consts : Array (Name × ConstantInfo) } NOTE: Unboxed to just Array. This version deduplicates by name.

(&self)

  /// RawEnvironment = { consts : Array (Name × ConstantInfo) }
  /// NOTE: Unboxed to just Array. This version deduplicates by name.
  pub fn decode(&self) -> FxHashMap<Name, ConstantInfo> {
    let arr = self.as_array();
    let mut consts: FxHashMap<Name, ConstantInfo> = FxHashMap::default();
    for pair_obj in arr.iter() {
      let pair = pair_obj.as_ctor();
      let name = LeanIxName(pair.get(0)).decode();
      let info = LeanIxConstantInfo(pair.get(1)).decode();
      consts.insert(name, info);
    }
    consts
  }

  /// Decode Ix.RawEnvironment preserving array structure (including duplicates).
  pub fn decode_to_vec(&self) -> Vec<(Name, ConstantInfo)> {