Type Definition o1vm::interpreters::riscv32i::column::E

pub type E<F> = Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>;