Struct ExtractFnSpec 

pub struct ExtractFnSpec {
    pub name: String,
    pub type_params: Vec<String>,
    pub params: Vec<Param>,
    pub return_type: TypeExpr,
    pub effects: Vec<Effect>,
}

Specification of the new function that extract_function produces. The agent provides this — slice 4 doesn’t infer types or effects from the surrounding context. The transform verifies the param set matches the extracted expression’s free variables; the type-checker (downstream) catches mismatches in types, effects, and return type.

Fields

name: String

type_params: Vec<String>

params: Vec<Param>

return_type: TypeExpr

effects: Vec<Effect>

Trait Implementations

impl Clone for ExtractFnSpec

fn clone(&self) -> ExtractFnSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExtractFnSpec

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

Formats the value using the given formatter.

impl PartialEq for ExtractFnSpec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExtractFnSpec