Struct GradStep 

pub struct GradStep {
    pub target: String,
    pub wrt: Vec<String>,
    pub output: String,
    pub loc: Loc,
}

v2.65.0 — grad <letName> wrt <x> [as <name>]: differentiate the EXPRESSION a prior rich let bound (its AST rides the IR), at compile time, symbolically. The derivative is checked (T931/T932), simplified, and stored in the IR — a proof-carrying artifact, re-derived at deploy.

Fields

target: String

The prior rich let whose expression is differentiated.

wrt: Vec<String>

The variables to differentiate against (wrt x / wrt [x, y]).

output: String

Result binding (as:). Empty ⇒ d_<target>.

loc: Loc

Trait Implementations

impl Debug for GradStep

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

Formats the value using the given formatter.