1 2 3 4 5 6
use crate::computation::Computation; use crate::execution::SymbolicExecutor; pub(crate) fn lowering(comp: Computation) -> anyhow::Result<Computation> { SymbolicExecutor::default().run_computation(&comp) }