Enum PolydatMatter 

pub enum PolydatMatter {
    None,
    Readonly,
    Definitions,
}

SRD-13d §3.1 classification of how much Polydat content a scope-tree node carries.

Variants

None

No Polydat references at all — no bindings:, no metrics:, no inline {{<expr>}}, no GK-typed fields. Walker skips kernel construction entirely.

Readonly

References parent-scope Polydat names but defines nothing new. Examples: metrics: declarations whose value: is a bare name resolving to a parent binding; inline {{<name>}} substitution where <name> is a parent binding; op fields that bind parent-scope wires without declaring new ones. Walker skips kernel construction; reads thread through the parent’s kernel state directly.

Definitions

Declares new bindings, wire expressions, or constants that the parent doesn’t supply. Walker materialises a kernel for this node — possibly subject to hash-check flattening (§3.2) if the new content turns out to be equivalent to the parent’s.

Trait Implementations

impl Clone for PolydatMatter

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PolydatMatter

impl Debug for PolydatMatter

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

Formats the value using the given formatter.

impl Eq for PolydatMatter

impl PartialEq for PolydatMatter

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PolydatMatter