Struct Definition 

pub struct Definition {
    pub kind: String,
    pub name: String,
    pub edges: Vec<(String, EdgeTarget)>,
    pub axioms: Vec<String>,
    pub lexical: Option<String>,
}

The canonical definition of a node — the structure its content-address is taken over. Field order is the serialized order; the edges/axioms rows are sorted + deduplicated by Definition::address before encoding, so the address does not depend on assembly order.

Fields

kind: String

The node’s kind — a name resolved against the meta-ontology (e.g. "Concept", "Functor", "Lens").

name: String

The node’s name within its ontology.

edges: Vec<(String, EdgeTarget)>

Outgoing typed edges, each (relation-kind name, target). The target is usually EdgeTarget::Local (a name in this ontology); a EdgeTarget::Grounded target crosses into a connected ontology by content address. An all-local node’s encoding — hence its address — is unchanged from when targets were bare strings.

axioms: Vec<String>

Names of the axioms that constrain this node.

lexical: Option<String>

The node’s lexical grounding (canonical English form / Lemon entry), if any — part of the definition because in praxis “everything is Lemon”.

Implementations

impl Definition

pub fn address(&self) -> Result<ContentAddress, CodecError>

The content address of this node — its definition-bearing identity.

Canonical: the edges and axioms rows are sorted + deduplicated before the DAG-CBOR encoding, so two definitions with the same content assembled in different orders share the same address.

Trait Implementations

impl Clone for Definition

fn clone(&self) -> Definition

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Definition

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Definition

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Definition

impl PartialEq for Definition

fn eq(&self, other: &Definition) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Definition

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Definition