pub enum Knowledge {
Def(Symbol, Expr),
Red(Expr, Expr),
Eqv(Expr, Expr),
EqvEval(Expr, Expr),
}
Expand description
Represents knowledge about symbols.
Variants§
Def(Symbol, Expr)
A symbol has some definition.
Red(Expr, Expr)
A reduction from a more complex expression into another by normalization.
Eqv(Expr, Expr)
Two expressions that are equivalent but neither normalizes the other.
EqvEval(Expr, Expr)
Two expressions that are equivalent but evaluates from left to right.
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Knowledge
impl Send for Knowledge
impl Sync for Knowledge
impl Unpin for Knowledge
impl UnwindSafe for Knowledge
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