occam-verify-cli 1.0.474 → 1.0.476

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 (167) hide show
  1. package/lib/context/file.js +2 -8
  2. package/lib/context/scoped.js +3 -9
  3. package/lib/element/assertion/contained.js +3 -3
  4. package/lib/element/assertion/defined.js +6 -46
  5. package/lib/element/assertion/property.js +5 -45
  6. package/lib/element/assertion/satisfies.js +5 -45
  7. package/lib/element/assertion/subproof.js +4 -4
  8. package/lib/element/assertion/type.js +5 -45
  9. package/lib/element/assertion.js +3 -8
  10. package/lib/element/assumption.js +6 -52
  11. package/lib/element/combinator/bracketed.js +3 -3
  12. package/lib/element/combinator.js +5 -10
  13. package/lib/element/conclusion.js +5 -10
  14. package/lib/element/constructor/bracketed.js +5 -45
  15. package/lib/element/constructor.js +5 -10
  16. package/lib/element/declaration/combinator.js +4 -3
  17. package/lib/element/declaration/complexType.js +4 -3
  18. package/lib/element/declaration/constructor.js +4 -3
  19. package/lib/element/declaration/metavariable.js +4 -3
  20. package/lib/element/declaration/simpleType.js +4 -3
  21. package/lib/element/declaration/typePrefix.js +4 -3
  22. package/lib/element/declaration/variable.js +4 -3
  23. package/lib/element/declaration.js +3 -8
  24. package/lib/element/deduction.js +5 -11
  25. package/lib/element/derivation.js +5 -6
  26. package/lib/element/equality.js +6 -52
  27. package/lib/element/equivalence.js +8 -14
  28. package/lib/element/equivalences.js +5 -11
  29. package/lib/element/error.js +5 -10
  30. package/lib/element/frame.js +6 -53
  31. package/lib/element/hypothesis.js +5 -5
  32. package/lib/element/judgement.js +6 -52
  33. package/lib/element/label.js +5 -10
  34. package/lib/element/metaType.js +5 -10
  35. package/lib/element/metavariable.js +8 -54
  36. package/lib/element/parameter.js +5 -10
  37. package/lib/element/procedureCall.js +4 -10
  38. package/lib/element/procedureReference.js +5 -10
  39. package/lib/element/proof.js +5 -10
  40. package/lib/element/proofAssertion/premise.js +4 -3
  41. package/lib/element/proofAssertion/step.js +5 -45
  42. package/lib/element/proofAssertion/supposition.js +4 -3
  43. package/lib/element/proofAssertion.js +3 -8
  44. package/lib/element/property.js +5 -10
  45. package/lib/element/propertyRelation.js +5 -10
  46. package/lib/element/reference.js +6 -52
  47. package/lib/element/rule.js +7 -54
  48. package/lib/element/section.js +5 -10
  49. package/lib/element/signature.js +6 -53
  50. package/lib/element/statement.js +5 -11
  51. package/lib/element/subDerivation.js +5 -6
  52. package/lib/element/subproof.js +6 -52
  53. package/lib/element/substitution/frame.js +4 -3
  54. package/lib/element/substitution/reference.js +4 -3
  55. package/lib/element/substitution/statement.js +5 -45
  56. package/lib/element/substitution/term.js +4 -3
  57. package/lib/element/substitution.js +3 -8
  58. package/lib/element/substitutions.js +5 -11
  59. package/lib/element/term.js +5 -11
  60. package/lib/element/topLevelAssertion/axiom.js +4 -3
  61. package/lib/element/topLevelAssertion/conjecture.js +4 -3
  62. package/lib/element/topLevelAssertion/lemma.js +4 -3
  63. package/lib/element/topLevelAssertion/theorem.js +4 -3
  64. package/lib/element/topLevelAssertion.js +3 -8
  65. package/lib/element/topLevelMetaAssertion/metaLemma.js +4 -3
  66. package/lib/element/topLevelMetaAssertion/metatheorem.js +4 -3
  67. package/lib/element/topLevelMetaAssertion.js +3 -8
  68. package/lib/element/type.js +5 -11
  69. package/lib/element/typePrefix.js +5 -10
  70. package/lib/element/variable.js +6 -52
  71. package/lib/metaTypes.js +5 -10
  72. package/lib/process/equate.js +4 -3
  73. package/lib/process/unify.js +5 -4
  74. package/lib/process/validate.js +7 -6
  75. package/lib/process/verify.js +7 -6
  76. package/lib/types.js +3 -8
  77. package/lib/utilities/element.js +57 -62
  78. package/lib/utilities/json.js +32 -37
  79. package/lib/utilities/unification.js +6 -11
  80. package/lib/utilities/validation.js +3 -8
  81. package/package.json +3 -4
  82. package/src/context/file.js +1 -3
  83. package/src/context/scoped.js +1 -3
  84. package/src/element/assertion/contained.js +2 -1
  85. package/src/element/assertion/defined.js +4 -2
  86. package/src/element/assertion/property.js +4 -2
  87. package/src/element/assertion/satisfies.js +3 -2
  88. package/src/element/assertion/subproof.js +3 -2
  89. package/src/element/assertion/type.js +4 -2
  90. package/src/element/assertion.js +1 -1
  91. package/src/element/assumption.js +3 -3
  92. package/src/element/combinator/bracketed.js +1 -1
  93. package/src/element/combinator.js +3 -2
  94. package/src/element/conclusion.js +3 -2
  95. package/src/element/constructor/bracketed.js +3 -2
  96. package/src/element/constructor.js +3 -2
  97. package/src/element/declaration/combinator.js +3 -1
  98. package/src/element/declaration/complexType.js +3 -1
  99. package/src/element/declaration/constructor.js +4 -1
  100. package/src/element/declaration/metavariable.js +3 -1
  101. package/src/element/declaration/simpleType.js +3 -1
  102. package/src/element/declaration/typePrefix.js +3 -1
  103. package/src/element/declaration/variable.js +3 -1
  104. package/src/element/declaration.js +1 -1
  105. package/src/element/deduction.js +3 -3
  106. package/src/element/derivation.js +3 -4
  107. package/src/element/equality.js +3 -3
  108. package/src/element/equivalence.js +3 -4
  109. package/src/element/equivalences.js +3 -4
  110. package/src/element/error.js +2 -2
  111. package/src/element/frame.js +3 -5
  112. package/src/element/hypothesis.js +4 -2
  113. package/src/element/judgement.js +3 -3
  114. package/src/element/label.js +3 -2
  115. package/src/element/metaType.js +2 -2
  116. package/src/element/metavariable.js +3 -3
  117. package/src/element/parameter.js +2 -2
  118. package/src/element/procedureCall.js +3 -3
  119. package/src/element/procedureReference.js +2 -2
  120. package/src/element/proof.js +3 -2
  121. package/src/element/proofAssertion/premise.js +4 -1
  122. package/src/element/proofAssertion/step.js +4 -2
  123. package/src/element/proofAssertion/supposition.js +4 -1
  124. package/src/element/proofAssertion.js +1 -1
  125. package/src/element/property.js +2 -2
  126. package/src/element/propertyRelation.js +2 -2
  127. package/src/element/reference.js +3 -3
  128. package/src/element/rule.js +3 -5
  129. package/src/element/section.js +2 -2
  130. package/src/element/signature.js +3 -5
  131. package/src/element/statement.js +3 -4
  132. package/src/element/subDerivation.js +3 -4
  133. package/src/element/subproof.js +3 -3
  134. package/src/element/substitution/frame.js +4 -1
  135. package/src/element/substitution/reference.js +4 -1
  136. package/src/element/substitution/statement.js +4 -2
  137. package/src/element/substitution/term.js +4 -1
  138. package/src/element/substitution.js +1 -1
  139. package/src/element/substitutions.js +3 -4
  140. package/src/element/term.js +3 -4
  141. package/src/element/topLevelAssertion/axiom.js +3 -1
  142. package/src/element/topLevelAssertion/conjecture.js +3 -1
  143. package/src/element/topLevelAssertion/lemma.js +3 -1
  144. package/src/element/topLevelAssertion/theorem.js +3 -1
  145. package/src/element/topLevelAssertion.js +1 -2
  146. package/src/element/topLevelMetaAssertion/metaLemma.js +3 -1
  147. package/src/element/topLevelMetaAssertion/metatheorem.js +3 -1
  148. package/src/element/topLevelMetaAssertion.js +1 -1
  149. package/src/element/type.js +3 -4
  150. package/src/element/typePrefix.js +2 -2
  151. package/src/element/variable.js +3 -3
  152. package/src/metaTypes.js +1 -1
  153. package/src/process/equate.js +4 -1
  154. package/src/process/unify.js +4 -1
  155. package/src/process/validate.js +4 -1
  156. package/src/process/verify.js +4 -1
  157. package/src/types.js +1 -1
  158. package/src/utilities/element.js +1 -1
  159. package/src/utilities/json.js +1 -1
  160. package/src/utilities/unification.js +1 -2
  161. package/src/utilities/validation.js +1 -1
  162. package/lib/element.js +0 -91
  163. package/lib/elements.js +0 -27
  164. package/lib/utilities/query.js +0 -36
  165. package/src/element.js +0 -43
  166. package/src/elements.js +0 -13
  167. package/src/utilities/query.js +0 -25
package/lib/types.js CHANGED
@@ -8,20 +8,15 @@ Object.defineProperty(exports, "baseTypeFromNothing", {
8
8
  return baseTypeFromNothing;
9
9
  }
10
10
  });
11
- var _elements = /*#__PURE__*/ _interop_require_default(require("./elements"));
11
+ var _occamfurtle = require("occam-furtle");
12
12
  var _constants = require("./constants");
13
- function _interop_require_default(obj) {
14
- return obj && obj.__esModule ? obj : {
15
- default: obj
16
- };
17
- }
18
13
  var baseType = null;
19
14
  function baseTypeFromNothing() {
20
15
  if (baseType === null) {
21
- var Type = _elements.default.Type, name = _constants.BASE_TYPE_SYMBOL, context = null, provisional = false;
16
+ var Type = _occamfurtle.elements.Type, name = _constants.BASE_TYPE_SYMBOL, context = null, provisional = false;
22
17
  baseType = Type.fromNameAndProvisional(name, provisional, context);
23
18
  }
24
19
  return baseType;
25
20
  }
26
21
 
27
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy90eXBlcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuL2VsZW1lbnRzXCI7XG5cbmltcG9ydCB7IEJBU0VfVFlQRV9TWU1CT0wgfSBmcm9tIFwiLi9jb25zdGFudHNcIjtcblxubGV0IGJhc2VUeXBlID0gbnVsbDtcblxuZXhwb3J0IGZ1bmN0aW9uIGJhc2VUeXBlRnJvbU5vdGhpbmcoKSB7XG4gIGlmIChiYXNlVHlwZSA9PT0gbnVsbCkge1xuICAgIGNvbnN0IHsgVHlwZSB9ID0gZWxlbWVudHMsXG4gICAgICAgICAgbmFtZSA9IEJBU0VfVFlQRV9TWU1CT0wsICAvLy9cbiAgICAgICAgICBjb250ZXh0ID0gbnVsbCxcbiAgICAgICAgICBwcm92aXNpb25hbCA9IGZhbHNlO1xuXG4gICAgYmFzZVR5cGUgPSBUeXBlLmZyb21OYW1lQW5kUHJvdmlzaW9uYWwobmFtZSwgcHJvdmlzaW9uYWwsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIGJhc2VUeXBlO1xufVxuIl0sIm5hbWVzIjpbImJhc2VUeXBlRnJvbU5vdGhpbmciLCJiYXNlVHlwZSIsIlR5cGUiLCJlbGVtZW50cyIsIm5hbWUiLCJCQVNFX1RZUEVfU1lNQk9MIiwiY29udGV4dCIsInByb3Zpc2lvbmFsIiwiZnJvbU5hbWVBbmRQcm92aXNpb25hbCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBUWdCQTs7O2VBQUFBOzs7K0RBTks7eUJBRVk7Ozs7OztBQUVqQyxJQUFJQyxXQUFXO0FBRVIsU0FBU0Q7SUFDZCxJQUFJQyxhQUFhLE1BQU07UUFDckIsSUFBTSxBQUFFQyxPQUFTQyxpQkFBUSxDQUFqQkQsTUFDRkUsT0FBT0MsMkJBQWdCLEVBQ3ZCQyxVQUFVLE1BQ1ZDLGNBQWM7UUFFcEJOLFdBQVdDLEtBQUtNLHNCQUFzQixDQUFDSixNQUFNRyxhQUFhRDtJQUM1RDtJQUVBLE9BQU9MO0FBQ1QifQ==
22
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy90eXBlcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgZWxlbWVudHMgfSBmcm9tIFwib2NjYW0tZnVydGxlXCI7XG5cbmltcG9ydCB7IEJBU0VfVFlQRV9TWU1CT0wgfSBmcm9tIFwiLi9jb25zdGFudHNcIjtcblxubGV0IGJhc2VUeXBlID0gbnVsbDtcblxuZXhwb3J0IGZ1bmN0aW9uIGJhc2VUeXBlRnJvbU5vdGhpbmcoKSB7XG4gIGlmIChiYXNlVHlwZSA9PT0gbnVsbCkge1xuICAgIGNvbnN0IHsgVHlwZSB9ID0gZWxlbWVudHMsXG4gICAgICAgICAgbmFtZSA9IEJBU0VfVFlQRV9TWU1CT0wsICAvLy9cbiAgICAgICAgICBjb250ZXh0ID0gbnVsbCxcbiAgICAgICAgICBwcm92aXNpb25hbCA9IGZhbHNlO1xuXG4gICAgYmFzZVR5cGUgPSBUeXBlLmZyb21OYW1lQW5kUHJvdmlzaW9uYWwobmFtZSwgcHJvdmlzaW9uYWwsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIGJhc2VUeXBlO1xufVxuIl0sIm5hbWVzIjpbImJhc2VUeXBlRnJvbU5vdGhpbmciLCJiYXNlVHlwZSIsIlR5cGUiLCJlbGVtZW50cyIsIm5hbWUiLCJCQVNFX1RZUEVfU1lNQk9MIiwiY29udGV4dCIsInByb3Zpc2lvbmFsIiwiZnJvbU5hbWVBbmRQcm92aXNpb25hbCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBUWdCQTs7O2VBQUFBOzs7MkJBTlM7eUJBRVE7QUFFakMsSUFBSUMsV0FBVztBQUVSLFNBQVNEO0lBQ2QsSUFBSUMsYUFBYSxNQUFNO1FBQ3JCLElBQU0sQUFBRUMsT0FBU0MscUJBQVEsQ0FBakJELE1BQ0ZFLE9BQU9DLDJCQUFnQixFQUN2QkMsVUFBVSxNQUNWQyxjQUFjO1FBRXBCTixXQUFXQyxLQUFLTSxzQkFBc0IsQ0FBQ0osTUFBTUcsYUFBYUQ7SUFDNUQ7SUFFQSxPQUFPTDtBQUNUIn0=