npm - @stevenvo780/st-lang - Versions diffs - 4.6.0 → 4.8.0 - Mend

@@ -1,14 +0,0 @@
-import { Formula } from '../types';
-import { TptpAnnotated, TptpFormula, TptpProblem } from './ast';
-export declare function tptpFormulaToFol(f: TptpFormula): Formula;
-export interface FolProverBridgeOutput {
-    axioms: Formula[];
-    conjecture: Formula | null;
-    negatedConjectures: Formula[];
-    /** Otros anotados (lemmas, theorems, definitions, plain, hypothesis). */
-    hypotheses: Formula[];
-}
-export declare function toFolProverFormat(problem: TptpProblem): FolProverBridgeOutput;
-/** Helper para `TptpAnnotated` individual. */
-export declare function annotatedToFol(a: TptpAnnotated): Formula;
-//# sourceMappingURL=bridge.d.ts.map

	@@ -1 +0,0 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA;AAC/B,2CAMsB;AALpB,yGAAA,WAAW,OAAA;AACX,iHAAA,mBAAmB,OAAA;AACnB,yGAAA,WAAW,OAAA;AACX,qGAAA,OAAO,OAAA;AACP,8GAAA,gBAAgB,OAAA"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAqBxC,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,EAAE,OAAO,MAAM,KAAG,QAgCvD,CAAC"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACjC,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,cAAc,GACf,MAAM,SAAS,CAAC"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/serializer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAoDlD;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,QAAQ,KAAK,EAAE,EAAE,UAAS,kBAAuB,KAAG,MAI/E,CAAC"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/time-travel/snapshot.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAEtD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,UAAU,CAkBzF"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"emitter.d.ts","sourceRoot":"","sources":["../../src/tptp/emitter.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAE3D,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAI/C;AAyCD,wBAAgB,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAiClD;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAcrD"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,mCAA8E;AAArE,qGAAA,WAAW,OAAA;AAAE,6GAAA,mBAAmB,OAAA;AAAE,0GAAA,gBAAgB,OAAA;AAC3D,2CAA2C;AAAlC,yGAAA,WAAW,OAAA;AACpB,+BAAiC;AAAxB,+FAAA,OAAO,OAAA"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/text-layer/v2/types.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/time-travel/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,YAAY,EACV,UAAU,EACV,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,YAAY,GACb,MAAM,SAAS,CAAC"}

	@@ -1 +0,0 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/time-travel/index.ts"],"names":[],"mappings":";;;AAAA,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AACxB,iCAAwC;AAA/B,sGAAA,aAAa,OAAA"}

@stevenvo780/st-lang 4.6.0 → 4.8.0