Expand description
Defines crate::mle::mle_description::MleDescription, i.e. the in-circuit-context description of a crate::mle::evals::MultilinearExtension which includes “prefix vars” and “free vars” but not the actual evaluations of the function over the hypercube.
Structs§
- MleDescription
- A metadata-only version of crate::mle::dense::DenseMle used in the Circuit
Descrption. A MleDescription is stored in the leaves of an
Expression<F, ExprDescription>tree.