Struct SharedCellInScope 

pub struct SharedCellInScope {
    pub name: String,
    pub port_type: PortType,
    pub cell: SharedCell,
}

One shared cell visible at a parent scope, reified for transitive cross-binding. Returned by ScopeKernel::shared_cells_in_scope.

Carries the name a child must use to bind to the cell, the port type (so Rule 2 / extern synthesis at finalize can declare a typed input slot), and the cell handle (so spawn can attach it to the child’s matching input).

“In scope” semantics: a cell visible at the parent is one the parent itself can read or write at this scope — covering both:

1. Cells the parent declared via its own program (shared X := <init> produces a cell-bound input slot).
2. Cells inherited from the parent’s own ancestors (attached during the parent’s spawn). Without this case, a shared cell at the workload root would not propagate to grand-children whose immediate parent’s body never references the name.

Both cases are answered by walking the parent’s input slots and reading PolydatState::shared_cell for each (see PolydatKernel::shared_cells_in_scope).

Fields

name: String

The binding’s name.

port_type: PortType

The cell’s declared type.

cell: SharedCell

The cell.

Trait Implementations

impl Clone for SharedCellInScope

fn clone(&self) -> SharedCellInScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SharedCellInScope

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

Formats the value using the given formatter.