occam-verify-cli 0.0.893 → 0.0.894

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (29) hide show
  1. package/lib/axiomLemmaTheoremConjecture.js +3 -3
  2. package/lib/metaLemmaMetatheorem.js +4 -4
  3. package/lib/metaSupposition.js +15 -17
  4. package/lib/premise.js +57 -15
  5. package/lib/rule.js +31 -20
  6. package/lib/step/metaproof.js +19 -5
  7. package/lib/utilities/array.js +5 -2
  8. package/lib/verify/metaProofStep.js +2 -2
  9. package/lib/verify/metaSubDerivation.js +3 -3
  10. package/lib/verify/metaSubproof.js +3 -3
  11. package/lib/verify/metastatement/qualified.js +32 -15
  12. package/lib/verify/ruleProofStep.js +27 -15
  13. package/lib/verify/statement/qualified.js +39 -23
  14. package/lib/verify/statement.js +7 -1
  15. package/package.json +4 -4
  16. package/src/axiomLemmaTheoremConjecture.js +3 -4
  17. package/src/metaLemmaMetatheorem.js +4 -4
  18. package/src/metaSupposition.js +25 -29
  19. package/src/premise.js +95 -25
  20. package/src/rule.js +36 -20
  21. package/src/step/metaproof.js +24 -7
  22. package/src/utilities/array.js +1 -1
  23. package/src/verify/metaProofStep.js +1 -1
  24. package/src/verify/metaSubDerivation.js +2 -2
  25. package/src/verify/metaSubproof.js +2 -2
  26. package/src/verify/metastatement/qualified.js +51 -21
  27. package/src/verify/ruleProofStep.js +24 -2
  28. package/src/verify/statement/qualified.js +55 -25
  29. package/src/verify/statement.js +2 -2
package/src/verify/statement.js CHANGED
@@ -71,7 +71,7 @@ Object.assign(statementAgainstCombinatorNodesVerifier, {
71
71
 
72
72
  export default verifyStatement;
73
73
 
74
- function verifyStatementAsEquality(statementNode, assignments, derived, localContext, verifyAhead) {
74
+ export function verifyStatementAsEquality(statementNode, assignments, derived, localContext, verifyAhead) {
75
75
  let statementVerifiedAsEquality = false;
76
76
 
77
77
  const equalityNode = equalityNodeQuery(statementNode);
@@ -93,7 +93,7 @@ function verifyStatementAsEquality(statementNode, assignments, derived, localCon
93
93
  return statementVerifiedAsEquality;
94
94
  }
95
95
 
96
- function verifyStatementAsTypeAssertion(statementNode, assignments, derived, localContext, verifyAhead) {
96
+ export function verifyStatementAsTypeAssertion(statementNode, assignments, derived, localContext, verifyAhead) {
97
97
  let statementVerifiedAsTypeAssertion = false;
98
98
 
99
99
  const typeAssertionNode = typeAssertionNodeQuery(statementNode);