Type Definition o1vm::interpreters::riscv32im::column::E

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