make EvalResult fields public
This commit is contained in:
parent
18f15d2ac5
commit
3b21648cf9
|
@ -3,11 +3,11 @@ use crate::ast::{Constant, NamedDeBruijn, Term};
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct EvalResult {
|
pub struct EvalResult {
|
||||||
result: Result<Term<NamedDeBruijn>, Error>,
|
pub result: Result<Term<NamedDeBruijn>, Error>,
|
||||||
remaining_budget: ExBudget,
|
pub remaining_budget: ExBudget,
|
||||||
initial_budget: ExBudget,
|
pub initial_budget: ExBudget,
|
||||||
traces: Vec<Trace>,
|
pub traces: Vec<Trace>,
|
||||||
debug_cost: Option<Vec<i64>>,
|
pub debug_cost: Option<Vec<i64>>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl EvalResult {
|
impl EvalResult {
|
||||||
|
|
Loading…
Reference in New Issue