Interpret

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.

Interpret a notational expression as its mathematical meaning. In v1: a continuation-bearing Add/Multiply (e.g. 1 + 2 + \dots + n) becomes a Sum/Product. Returns the argument unchanged when the (strict) inference gate does not pass

Interpret(any) -> anyas compute-engine declares it