Method mdata

crates/common/src/env.rs:931–941

Constructs a metadata-annotated expression.

(xs: Vec<(Name, DataValue)>, e: Expr)

  /// Constructs a literal expression (nat or string).
  pub fn lit(x: Literal) -> Self {
    let mut hasher = blake3::Hasher::new();
    match &x {
      Literal::NatVal(n) => {
        hasher.update(&[ENAT]);
        hasher.update(&n.to_le_bytes());
      },
      Literal::StrVal(s) => {
        hasher.update(&[ESTR]);
        hasher.update(s.as_bytes());
      },
    };
    Expr(Arc::new(ExprData::Lit(x, hasher.finalize())))
  }