pub struct EvalResult<'a, V>where
V: Eval<'a>,{
pub term: Result<&'a Term<'a, V>, MachineError<'a, V>>,
pub info: MachineInfo,
}Fields§
§term: Result<&'a Term<'a, V>, MachineError<'a, V>>§info: MachineInfoTrait Implementations§
Auto Trait Implementations§
impl<'a, V> Freeze for EvalResult<'a, V>
impl<'a, V> !RefUnwindSafe for EvalResult<'a, V>
impl<'a, V> !Send for EvalResult<'a, V>
impl<'a, V> !Sync for EvalResult<'a, V>
impl<'a, V> Unpin for EvalResult<'a, V>
impl<'a, V> UnsafeUnpin for EvalResult<'a, V>
impl<'a, V> !UnwindSafe for EvalResult<'a, V>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more