Type Alias: ArithmeticExprDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Constraints / ArithmeticExprDto

Type Alias: ArithmeticExprDto

ArithmeticExprDto = { type: "constant"; value: number; } | { name: string; type: "variable"; } | { left: ArithmeticExprDto; op: ArithOpDto; right: ArithmeticExprDto; type: "binary_op"; }

Defined in: src/types/constraints.ts:27

Arithmetic expression (recursive tagged union).

Remarks

Discriminated by type field. Matches Rust #[serde(tag = "type", rename_all = "snake_case")].