Method as_array

crates/ffi/src/ix/env.rs:177–179

RawEnvironment is a single-field struct, unboxed to just Array by Lean.

(&self)

impl<R: LeanRef> LeanIxRawEnvironment<R> {
  /// RawEnvironment is a single-field struct, unboxed to just Array by Lean.
  fn as_array(&self) -> LeanArray<LeanBorrowed<'_>> {
    unsafe { LeanBorrowed::from_raw(self.as_raw()) }.as_array()
  }

  /// Decode Ix.RawEnvironment from Lean object into HashMap.
  /// RawEnvironment = { consts : Array (Name × ConstantInfo) }