Function deser_syntax

crates/ixon/src/metadata.rs:460–495

(
  buf: &mut &[u8],
  ixon_env: &super::env::Env,
)

}

/// Data values for KVMap metadata.
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub enum DataValue {
  OfString(Address),
  OfBool(bool),
  OfName(Address),
  OfNat(Address),
  OfInt(Address),
  OfSyntax(Address),
}

/// Resolve an Ixon KVMap (address-based) to Lean-level MData (name/value pairs).
///
/// Used by kernel ingress to convert expression metadata from the
/// content-addressed Ixon representation to the named kernel representation.
pub fn resolve_kvmap(
  kvm: &KVMap,
  ixon_env: &super::env::Env,
) -> Vec<(Name, env::DataValue)> {
  kvm
    .iter()
    .filter_map(|(addr, dv)| {
      let name = ixon_env.get_name(addr)?;
      let resolved = match dv {
        DataValue::OfString(a) => {
          let bytes = ixon_env.get_blob(a)?;
          env::DataValue::OfString(String::from_utf8(bytes).ok()?)
        },
        DataValue::OfBool(b) => env::DataValue::OfBool(*b),
        DataValue::OfName(a) => {
          let n = ixon_env.get_name(a)?;
          env::DataValue::OfName(n)
        },
        DataValue::OfNat(a) => {
          let bytes = ixon_env.get_blob(a)?;
          env::DataValue::OfNat(bignat::Nat::from_le_bytes(&bytes))
        },
        DataValue::OfInt(a) => {
          let bytes = ixon_env.get_blob(a)?;