amaru-uplc 0.1.0

A UPLC Evaluator as a CEK machine
Documentation
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,
}