Method decode_to_vec

crates/ffi/src/ix/env.rs:197–207

Decode Ix.RawEnvironment preserving array structure (including duplicates).

(&self)

  /// Decode Ix.RawEnvironment preserving array structure (including duplicates).
  pub fn decode_to_vec(&self) -> Vec<(Name, ConstantInfo)> {
    let arr = self.as_array();
    let mut consts = Vec::with_capacity(arr.len());
    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.push((name, info));
    }
    consts
  }
}

impl<R: LeanRef> LeanIxEnvironment<R> {