arch(DX) parse type

Author: arnog

src/compute-engine/index.ts

@@ -1380,6 +1380,14 @@ export class ComputeEngine implements IComputeEngine {
    * Uses the engine's symbol definitions for accurate parsing
    * (e.g., recognizing `f` as a function).
    */
+  parse(
+    latex: string,
+    options?: Partial<ParseLatexOptions> & { form?: FormOption }
+  ): Expression;
+  parse(
+    latex: string | null,
+    options?: Partial<ParseLatexOptions> & { form?: FormOption }
+  ): Expression | null;
   parse(
     latex: string | null,
     options?: Partial<ParseLatexOptions> & { form?: FormOption }

src/compute-engine/types-engine.ts

@@ -185,6 +185,10 @@ export interface IComputeEngine {
    * This is a convenience method equivalent to `ce.expr(parse(latex))`,
    * but uses the engine's symbol definitions for better parsing accuracy.
    */
+  parse(
+    latex: string,
+    options?: Partial<ParseLatexOptions> & { form?: FormOption }
+  ): Expression;
   parse(
     latex: string | null,
     options?: Partial<ParseLatexOptions> & { form?: FormOption }

test/compute-engine/latex-syntax/parsing.test.ts

@@ -568,7 +568,7 @@ describe('NON-STRICT MODE (Math-ASCII/Typst-like syntax)', () => {
     });
 
     test('sin^2(x) + cos^2(x) identity', () => {
-      const a = ce.parse('sin^2(x) + cos^2(x)', { strict: false });
+      const a = ce.parse('sin^2(x) + cos^2(x)', { strict: false })!;
       expect(a.isEqual(1)).toBe(true);
     });
   });