Method decode

crates/ffi/src/lean_ixon/env.rs:56–62

Decode Ixon.RawConst from Lean pointer.

(&self)

impl<R: LeanRef> LeanIxonRawConst<R> {
  /// Decode Ixon.RawConst from Lean pointer.
  pub fn decode(&self) -> DecodedRawConst {
    let ctor = self.as_ctor();
    DecodedRawConst {
      addr: LeanIxAddress::from_borrowed(ctor.get(0).as_byte_array()).decode(),
      constant: LeanIxonConstant::new(ctor.get(1).to_owned_ref()).decode(),
    }
  }
}