functionalscript 0.45.0 → 0.46.0

package/fjs/bnf/ll1/proof.f.d.mts

@@ -1,7 +1,8 @@
 /**
- * @module
- *
+ * @import { CodePoint } from '../../text/utf16/types.ts'
  * @import { RuleSet } from '../data/types.ts'
+ * @import { CodePointMeta } from '../descent/types.ts'
+ * @import { Rule as FRule } from '../types.ts'
  * @import { MatchResult } from './types.ts'
  */
 export declare const proof: {
@@ -11,8 +12,20 @@ export declare const proof: {
     logicalEof: (() => void)[];
     repeat: (() => void)[];
     repeatParser: (() => void)[];
+    descentEquivalence: {
+        leadingItem: () => void;
+        variant: () => void;
+        skippedOption: () => void;
+        takenOption: () => void;
+        repetition: () => void;
+        nesting: () => void;
+        repetitionInNullablePrefix: () => void;
+        emptyRepetitionInNullablePrefix: () => void;
+    };
     throw: {
         ambiguousVariantDispatch: () => void;
+        leftRecursiveSequence: () => void;
+        leftRecursiveVariant: () => void;
     };
     cyclicNullability: () => void;
 };