yatima-core 0.1.1

The core evaluation, typechecking and content-addressing infrastructure of the Yatima Language
Documentation
use crate::{
  anon::Anon,
  meta::Meta,
};

/// Contains the anonymous and metadata terms if they fail to unembed
#[derive(PartialEq, Clone, Debug)]
pub enum EmbedError {
  Term(Anon, Meta),
}