occam-verify-cli 1.0.905 → 1.0.910

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 (55) hide show
  1. package/lib/context.js +5 -1
  2. package/lib/element/assertion/contained.js +6 -3
  3. package/lib/element/assertion/defined.js +6 -3
  4. package/lib/element/assertion/property.js +6 -3
  5. package/lib/element/assertion/satisfies.js +25 -8
  6. package/lib/element/assertion/subproof.js +5 -3
  7. package/lib/element/assertion/type.js +6 -3
  8. package/lib/element/assumption/metaLevel.js +5 -3
  9. package/lib/element/assumption.js +6 -3
  10. package/lib/element/equality.js +6 -3
  11. package/lib/element/frame.js +8 -5
  12. package/lib/element/judgement.js +6 -3
  13. package/lib/element/metavariable.js +8 -5
  14. package/lib/element/property.js +12 -5
  15. package/lib/element/propertyRelation.js +6 -3
  16. package/lib/element/reference.js +8 -4
  17. package/lib/element/signature.js +73 -60
  18. package/lib/element/statement.js +7 -3
  19. package/lib/element/substitution/frame.js +7 -4
  20. package/lib/element/substitution/reference.js +7 -4
  21. package/lib/element/substitution/statement.js +7 -4
  22. package/lib/element/substitution/term.js +6 -4
  23. package/lib/element/term.js +26 -7
  24. package/lib/element/topLevelAssertion/axiom.js +14 -16
  25. package/lib/element/variable.js +2 -2
  26. package/lib/process/unify.js +56 -24
  27. package/lib/utilities/element.js +3 -14
  28. package/package.json +4 -4
  29. package/src/context.js +7 -0
  30. package/src/element/assertion/contained.js +8 -4
  31. package/src/element/assertion/defined.js +8 -4
  32. package/src/element/assertion/property.js +8 -4
  33. package/src/element/assertion/satisfies.js +34 -9
  34. package/src/element/assertion/subproof.js +6 -4
  35. package/src/element/assertion/type.js +8 -4
  36. package/src/element/assumption/metaLevel.js +6 -4
  37. package/src/element/assumption.js +8 -4
  38. package/src/element/equality.js +8 -4
  39. package/src/element/frame.js +10 -7
  40. package/src/element/judgement.js +8 -4
  41. package/src/element/metavariable.js +10 -7
  42. package/src/element/property.js +14 -6
  43. package/src/element/propertyRelation.js +8 -4
  44. package/src/element/reference.js +11 -5
  45. package/src/element/signature.js +118 -37
  46. package/src/element/statement.js +9 -3
  47. package/src/element/substitution/frame.js +9 -5
  48. package/src/element/substitution/reference.js +9 -5
  49. package/src/element/substitution/statement.js +9 -5
  50. package/src/element/substitution/term.js +7 -5
  51. package/src/element/term.js +39 -9
  52. package/src/element/topLevelAssertion/axiom.js +23 -26
  53. package/src/element/variable.js +2 -2
  54. package/src/process/unify.js +84 -35
  55. package/src/utilities/element.js +3 -20
package/src/utilities/element.js CHANGED
@@ -331,11 +331,8 @@ export function signatureFromSignatureNode(signatureNode, context) {
331
331
  node = signatureNode, ///
332
332
  string = context.nodeAsString(node),
333
333
  lineIndex = null,
334
- terms = termsFromSignatureNode(signatureNode, context);
335
-
336
- context = null;
337
-
338
- const signature = new Signature(context, string, node, lineIndex, terms);
334
+ terms = termsFromSignatureNode(signatureNode, context),
335
+ signature = new Signature(context, string, node, lineIndex, terms);
339
336
 
340
337
  return signature;
341
338
  }
@@ -402,20 +399,6 @@ export function parameterFromParameterNode(parameterNode, context) {
402
399
  return parameter;
403
400
  }
404
401
 
405
- export function signatureFromJSignatureNode(signatureNode, context) {
406
- const { Signature } = elements,
407
- node = signatureNode,
408
- string = context.nodeAsString(node),
409
- lineIndex = null,
410
- terms = termsFromSignatureNode(signatureNode, context);
411
-
412
- context = null;
413
-
414
- const signature = new Signature(context, string, node, lineIndex, terms);
415
-
416
- return signature;
417
- }
418
-
419
402
  export function hypothesisFromHypothesisNode(hypotheseNode, context) {
420
403
  const { Hypothsis } = elements,
421
404
  node = hypotheseNode, ///
@@ -1921,7 +1904,7 @@ export function statementFromBracketedCombinatorNode(bracketedCombinatorNode, co
1921
1904
 
1922
1905
  export function signatureFromJSatisfiesAssertionNode(sasisfiesAssertionNode, context) {
1923
1906
  const signatureNode = sasisfiesAssertionNode.getSignatureNode(),
1924
- signature = signatureFromJSignatureNode(signatureNode, context);
1907
+ signature = signatureFromSignatureNode(signatureNode, context);
1925
1908
 
1926
1909
  return signature;
1927
1910
  }