1 2 3 4 5 6 7 8 9 10 11 12
use crate::{binder::Eval, term::Term}; use super::{info::MachineInfo, MachineError}; #[derive(Debug)] pub struct EvalResult<'a, V> where V: Eval<'a>, { pub term: Result<&'a Term<'a, V>, MachineError<'a, V>>, pub info: MachineInfo, }