kibi-cli 2.31.1 → 2.35.1

package/dist/operations/proof/source-code-readers.d.ts

@@ -0,0 +1,12 @@
+import { type SourceCodeEvaluator, type SourceSpec, type UnresolvedReference } from "../../public/proof-sources.js";
+type TypeScriptApi = typeof import("typescript");
+type Extracted = {
+    members: string[];
+    unresolved: UnresolvedReference[];
+};
+/** References one TypeScript or JavaScript file makes. */
+export declare function extractScriptReferences(ts: TypeScriptApi, file: string, text: string, spec: SourceSpec): Extracted;
+/** The CLI's evaluator for source readers that need code. */
+export declare const evaluateSourceCode: SourceCodeEvaluator;
+export {};
+//# sourceMappingURL=source-code-readers.d.ts.map

package/dist/operations/proof/source-code-readers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-code-readers.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/source-code-readers.ts"],"names":[],"mappings":"AA6BA,OAAO,EAGL,KAAK,mBAAmB,EAGxB,KAAK,UAAU,EACf,KAAK,mBAAmB,EAEzB,MAAM,+BAA+B,CAAC;AAGvC,KAAK,aAAa,GAAG,cAAc,YAAY,CAAC,CAAC;AAwCjD,KAAK,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAC;AAE1E,0DAA0D;AAC1D,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,aAAa,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,UAAU,GACf,SAAS,CAuLX;AA+bD,6DAA6D;AAE7D,eAAO,MAAM,kBAAkB,EAAE,mBAKhC,CAAC"}