kibi-cli 2.38.0 → 2.40.0

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

@@ -6,6 +6,12 @@ type Extracted = {
 };
 /** References one TypeScript or JavaScript file makes. */
 export declare function extractScriptReferences(ts: TypeScriptApi, file: string, text: string, spec: SourceSpec): Extracted;
+/**
+ * Namespaces every C# file of the project imports: `global using`
+ * directives in any tracked .cs file, `<Using Include>` items and the SDK's
+ * implicit usings in any tracked .csproj.
+ */
+export declare function csharpProjectUsings(workspaceRoot: string): string[];
 /** The CLI's evaluator for source readers that need code. */
 export declare const evaluateSourceCode: SourceCodeEvaluator;
 export {};

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

@@ -1 +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"}
+{"version":3,"file":"source-code-readers.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/source-code-readers.ts"],"names":[],"mappings":"AAiCA,OAAO,EAGL,KAAK,mBAAmB,EAGxB,KAAK,UAAU,EACf,KAAK,mBAAmB,EAEzB,MAAM,+BAA+B,CAAC;AAWvC,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,CAkfX;AAyhBD;;;;GAIG;AAEH,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,EAAE,CAmCnE;AA+VD,6DAA6D;AAE7D,eAAO,MAAM,kBAAkB,EAAE,mBAMhC,CAAC"}