Enum BodyFragment 

pub enum BodyFragment {
    PolydatSource(String),
    Statements(Vec<Statement>),
}

Body fragment — what the builder accepts via super::SubcontextBuilder::body.

See subcontext_construction.md §2.1. PolydatSource is for user-facing bindings: / result: content (parsed at finalize); Statements is for synthesisers that already produce GK programmatically.

Variants

PolydatSource(String)

User-facing Polydat source. Parsed via the existing lexer + parser pipeline at finalize.

Statements(Vec<Statement>)

Pre-parsed statements — submitted directly without round-tripping through Polydat source strings. Reuses Statement from the existing AST, so synthesisers don’t carry a parallel enum.

Trait Implementations

impl Clone for BodyFragment

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BodyFragment

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

Formats the value using the given formatter.