MCPcopy Create free account
hub / github.com/argumentcomputer/ix / KExpr

Class KExpr

crates/kernel/src/expr.rs:23–23  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

21pub struct KExpr<M: KernelMode>(Arc<ExprData<M>>);
22
23/// A single mdata layer: key-value pairs from Lean's `Expr.mdata`.
24pub type MData = Vec<(Name, DataValue)>;
25
26/// Original level-spelling decoration for a Meta-mode `Sort`/`Const`

Callers 1

newMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected