pub fn make_eval_claims<F: TowerField>(
metas: Vec<Vec<OracleId>>,
base_exp_output: BaseExpReductionOutput<F>,
dynamic_base_ids: Vec<Option<OracleId>>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>pub fn make_eval_claims<F: TowerField>(
metas: Vec<Vec<OracleId>>,
base_exp_output: BaseExpReductionOutput<F>,
dynamic_base_ids: Vec<Option<OracleId>>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>