occam-verify-cli 1.0.382 → 1.0.385

package/src/{dom → ontology}/signature.js

@@ -2,15 +2,15 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { termsFromJSON, termsToTermsJSON } from "../utilities/json";
 import { stringFromTerms, variableFromTerm, termsFromTermNodes } from "../utilities/node";
 
 const { match, compare, correlate } = arrayUtilities;
 
-export default domAssigned(class Signature {
+export default define(class Signature {
   constructor(string, terms) {
     this.string = string;
     this.terms = terms;
@@ -73,7 +73,7 @@ export default domAssigned(class Signature {
 
               term = termA; ///
 
-              const { TermSubstitution } = dom,
+              const { TermSubstitution } = ontology,
                     termSubstitution = TermSubstitution.fromTernAndVariable(term, variable, context),
                     substitution = termSubstitution;  ///
 

package/src/{dom → ontology}/statement.js

@@ -5,7 +5,7 @@ import { arrayUtilities } from "necessary";
 import verifyMixins from "../mixins/statement/verify";
 import StatementPartialContext from "../context/partial/statement";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { unifyStatement } from "../utilities/unification";
 import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
 import { statementFromStatementNode } from "../utilities/node";
@@ -14,7 +14,7 @@ import { definedAssertionFromStatement, containedAssertionFromStatement, subproo
 
 const { match, backwardsSome } = arrayUtilities;
 
-export default domAssigned(class Statement {
+export default define(class Statement {
   constructor(string, node, tokens) {
     this.string = string;
     this.node = node;

package/src/{dom → ontology}/step.js

@@ -1,14 +1,14 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import unifyMixins from "../mixins/step/unify";
 import Substitutions from "../substitutions";
 import equationalUnifier from "../unifier/equantional";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { propertyAssertionFromStatement } from "../utilities/context";
 
-export default domAssigned(class Step {
+export default define(class Step {
   constructor(node, string, statement, reference, satisfiesAssertion) {
     this.node = node;
     this.string = string;
@@ -207,7 +207,7 @@ export default domAssigned(class Step {
     const stepNode = stepOrSubproofNode.isStepNode();
 
     if (stepNode) {
-      const { Statement, Reference, SatisfiesAssertion } = dom,
+      const { Statement, Reference, SatisfiesAssertion } = ontology,
             stepNode = stepOrSubproofNode,  ///
             node = stepNode, ///
             string = context.nodeAsString(node),

package/src/{dom → ontology}/subDerivation.js

@@ -2,14 +2,14 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { assignAssignments } from "../utilities/assignments";
 
 const { last } = arrayUtilities;
 
-export default domAssigned(class SubDerivation {
+export default define(class SubDerivation {
   constructor(stepsOrSubproofs) {
     this.stepsOrSubproofs = stepsOrSubproofs;
   }
@@ -61,7 +61,7 @@ export default domAssigned(class SubDerivation {
 });
 
 function stepOrSubproofFromSubDerivationNode(subDerivationNode, context) {
-  const { Step, Subproof } = dom,
+  const { Step, Subproof } = ontology,
         stepOrSubproofNodes = subDerivationNode.getStepOrSubproofNodes(),
         stepsOrSubproofs = stepOrSubproofNodes.map((stepOrSubproofNode) => {
           const subproof = Subproof.fromStepOrSubproofNode(stepOrSubproofNode, context),

package/src/{dom → ontology}/subproof.js

@@ -1,13 +1,13 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { subproofStringFromSubproofNode } from "../utilities/subproof";
 
-export default domAssigned(class Subproof {
+export default define(class Subproof {
   constructor(node, string, suppositions, subDerivation) {
     this.node = node;
     this.string = string;
@@ -154,7 +154,7 @@ export default domAssigned(class Subproof {
 });
 
 function suppositionsFromSubproofNode(subproofNode, context) {
-  const { Supposition } = dom,
+  const { Supposition } = ontology,
         suppositionNodes = subproofNode.getSuppositionNodes(),
         suppositions = suppositionNodes.map((suppositionNode) => {
           const supposition = Supposition.fromSuppositionNode(suppositionNode, context);
@@ -166,7 +166,7 @@ function suppositionsFromSubproofNode(subproofNode, context) {
 }
 
 function subDerivationFromSubproofNode(subproofNode, context) {
-  const { SubDerivation } = dom,
+  const { SubDerivation } = ontology,
         subDerivationNode = subproofNode.getSubDerivationNode(),
         subDerivation = SubDerivation.fromSubDerivationNode(subDerivationNode, context);
 

package/src/{dom → ontology}/substitution/frame.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import Substitution from "../substitution";
 import FrameSubstitutionPartialContext from "../../context/partial/substitution/frame";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class FrameSubstitution extends Substitution {
+export default define(class FrameSubstitution extends Substitution {
   constructor(string, node, tokens, frame, metavariable) {
     super(string, node, tokens);
 
@@ -46,7 +46,7 @@ export default domAssigned(class FrameSubstitution extends Substitution {
             singularMetavariableNode = lastFrameNode.getSingularMetavariableNode();
 
       if (singularMetavariableNode !== null) {
-        const { Frame, Metavariable } = dom,
+        const { Frame, Metavariable } = ontology,
               frameNode = firstFrameNode, ///
               metavariableNode = singularMetavariableNode,  ///
               frame = Frame.fromFrameNode(frameNode, context),

package/src/{dom → ontology}/substitution/reference.js

@@ -3,9 +3,9 @@
 import Substitution from "../substitution";
 import ReferenceSubstitutionPartialContext from "../../context/partial/substitution/reference";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class ReferenceSubstitution extends Substitution {
+export default define(class ReferenceSubstitution extends Substitution {
   constructor(string, node, tokens, reference, metavariable) {
     super(string, node, tokens);
 

package/src/{dom → ontology}/substitution/statement.js

@@ -4,12 +4,12 @@ import Substitution from "../substitution";
 import Substitutions from "../../substitutions";
 import StatementSubstitutionPartialContext from "../../context/partial/substitution/statement";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { unifySubstitution } from "../../utilities/unification";
 import { stripBracketsFromStatement } from "../../utilities/brackets";
 import { statementFromJSON, statementToStatementJSON, metavariableFromJSON, metavariableToMetavariableJSON } from "../../utilities/json";
 
-export default domAssigned(class StatementSubstitution extends Substitution {
+export default define(class StatementSubstitution extends Substitution {
   constructor(string, node, tokens, resolved, statement, metavariable, substitution) {
     super(string, node, tokens);
 

package/src/{dom → ontology}/substitution/term.js

@@ -1,14 +1,14 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import Substitution from "../substitution";
 import TermSubstitutionPartialContext from "../../context/partial/substitution/term";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { stripBracketsFromTerm } from "../../utilities/brackets";
 import { stripBracketsFromTermNode } from "../../utilities/brackets";
 
-export default domAssigned(class TermSubstitution extends Substitution {
+export default define(class TermSubstitution extends Substitution {
   constructor(string, node, tokens, term, variable) {
     super(string, node, tokens);
 
@@ -62,7 +62,7 @@ export default domAssigned(class TermSubstitution extends Substitution {
             singularVariableNode = lastTermNode.getSingularVariableNode(lastTermNode);
 
       if (singularVariableNode !== null) {
-        const { Term, Variable } = dom,
+        const { Term, Variable } = ontology,
               termNode = firstTermNode, ///
               variableNode = singularVariableNode,  ///
               term = Term.fromTermNode(termNode, context),
@@ -83,7 +83,7 @@ export default domAssigned(class TermSubstitution extends Substitution {
 
     termNode = stripBracketsFromTermNode(termNode); ///
 
-    const { Term } = dom;
+    const { Term } = ontology;
 
     term = Term.fromTermNode(termNode, context);
 

package/src/{dom → ontology}/supposition.js

@@ -1,13 +1,13 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { assignAssignments } from "../utilities/assignments";
 import { subproofAssertionFromStatement } from "../utilities/context";
 import { statementFromJSON, procedureCallFromJSON, statementToStatementJSON, procedureCallToProcedureCallJSON } from "../utilities/json";
 
-export default domAssigned(class Supposition {
+export default define(class Supposition {
   constructor(node, string, statement, procedureCall) {
     this.node = node;
     this.string = string;
@@ -49,7 +49,7 @@ export default domAssigned(class Supposition {
         const assignmentsAssigned = assignAssignments(assignments, context);
 
         if (assignmentsAssigned) {
-          const { Step } = dom,
+          const { Step } = ontology,
                 step = Step.fromStatement(this.statement, context),
                 stepOrSubproof = step;  ///
 
@@ -246,7 +246,7 @@ export default domAssigned(class Supposition {
   }
 
   static fromSuppositionNode(suppositionNode, context) {
-    const { Statement, ProcedureCall } = dom,
+    const { Statement, ProcedureCall } = ontology,
           node = suppositionNode, ///
           string = context.nodeAsString(node),
           statement = Statement.fromSuppositionNode(suppositionNode, context),

package/src/{dom → ontology}/term.js

@@ -2,17 +2,17 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import verifyMixins from "../mixins/term/verify";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { termFromTermNode } from "../utilities/node";
 import { termNodeFromTermString } from "../context/partial/term";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 
 const { filter, compress } = arrayUtilities;
 
-export default domAssigned(class Term {
+export default define(class Term {
   constructor(string, node, type) {
     this.string = string;
     this.node = node;
@@ -36,7 +36,7 @@ export default domAssigned(class Term {
   }
 
   getVariable(context) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           termNode = this.node, ///
           variable = Variable.fromTermNode(termNode, context);
 
@@ -47,7 +47,7 @@ export default domAssigned(class Term {
     const termNode = this.node,
           variableNodes = termNode.getVariableNodes(),
           variables = variableNodes.map((variableNode) => {
-            const { Variable } = dom,
+            const { Variable } = ontology,
                   variable = Variable.fromVariableNode(variableNode, context);
 
             return variable;
@@ -263,7 +263,7 @@ export default domAssigned(class Term {
   }
 
   static fromConstructorDeclarationNode(constructorDeclarationNode, context) {
-    const { Type } = dom,
+    const { Type } = ontology,
           termNode = constructorDeclarationNode.getTermNode(),
           term = termFromTermNode(termNode, context),
           type = Type.fromConstructorDeclarationNode(constructorDeclarationNode, context);

package/src/{dom → ontology}/theorem.js

@@ -2,9 +2,9 @@
 
 import TopLevelAssertion from "./topLevelAssertion";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 
-export default domAssigned(class Theorem extends TopLevelAssertion {
+export default define(class Theorem extends TopLevelAssertion {
   verify() {
     let verifies;
 

package/src/{dom → ontology}/topLevelAssertion.js

@@ -2,7 +2,7 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
 
@@ -346,14 +346,14 @@ export default class TopLevelAssertion {
 }
 
 export function proofFromProofNode(proofNode, context) {
-  const { Proof } = dom,
+  const { Proof } = ontology,
         proof = Proof.fromProofNode(proofNode, context);
 
   return proof;
 }
 
 export function labelsFromLabelNodes(labelNodes, context) {
-  const { Label } = dom,
+  const { Label } = ontology,
         labels = labelNodes.map((labelNode) => {
           const label = Label.fromLabelNode(labelNode, context);
 
@@ -367,7 +367,7 @@ export function signatureFromSignatureNode(signatureNode, context) {
   let signature = null;
 
   if (signatureNode !== null) {
-    const { Signature } = dom;
+    const { Signature } = ontology;
 
     signature = Signature.fromSignatureNode(signatureNode, context);
   }
@@ -376,14 +376,14 @@ export function signatureFromSignatureNode(signatureNode, context) {
 }
 
 export function deductionFromDeductionNode(deductionNode, context) {
-  const { Deduction } = dom,
+  const { Deduction } = ontology,
         deduction = Deduction.fromDeductionNode(deductionNode, context);
 
   return deduction;
 }
 
 export function suppositionsFromSuppositionNodes(suppositionNodes, context) {
-  const { Supposition } = dom,
+  const { Supposition } = ontology,
         suppositions = suppositionNodes.map((suppositionNode) => {
           const supposition = Supposition.fromSuppositionNode(suppositionNode, context);
 

package/src/{dom → ontology}/topLevelMetaAssertion.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import LocalContext from "../context/local";
 import Substitutions from "../substitutions";
 
@@ -189,7 +189,7 @@ export default class TopLevelMetaAssertion {
 function labelFromLabelNode(labelNode, context) {
   let label = null;
 
-  const { Label } = dom;
+  const { Label } = ontology;
 
   if (labelNode !== null) {
     label = Label.fromLabelNode(labelNode, context);

package/src/{dom → ontology}/type.js

@@ -2,9 +2,9 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { BASE_TYPE_SYMBOL } from "../constants";
 import { typeFromTypeNode } from "../utilities/node";
 import { stringFromTypeNameTypePrefixNameAndSuperTypes } from "../utilities/type";
@@ -405,7 +405,7 @@ class Type {
   }
 }
 
-export default domAssigned(Type);
+export default define(Type);
 
 function superTypesFromSimpleTypeDeclarationNode(simpleTypeDeclarationNode, context) {
   const superTypeNodes = simpleTypeDeclarationNode.getSuperTypeNodes(),
@@ -444,7 +444,7 @@ function superTypesFromComplexTypeDeclarationNode(complexTypeDeclarationNode, co
 }
 
 function propertiesFromComplexTypeDeclarationNode(complexTypeDeclarationNode, context) {
-  const { Property } = dom,
+  const { Property } = ontology,
         propertyDeclarationNodes = complexTypeDeclarationNode.getPropertyDeclarationNodes(),
         properties = propertyDeclarationNodes.map((propertyDeclarationNode) => {
           const property = Property.fromPropertyDeclarationNode(propertyDeclarationNode, context);

package/src/{dom → ontology}/typePrefix.js

@@ -1,8 +1,8 @@
 "use strict";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 
-class TypePrefix {
+export default define (class TypePrefix {
   constructor(string, name) {
     this.string = string;
     this.name = name;
@@ -49,6 +49,4 @@ class TypePrefix {
 
     return type;
   }
-}
-
-export default domAssigned(TypePrefix);
+});

package/src/{dom → ontology}/variable.js

@@ -1,14 +1,14 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { EMPTY_STRING } from "../constants";
 import { typeFromTypeNode } from "../utilities/node";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 import { variableNodeFromVariableString } from "../context/partial/variable";
 
-export default domAssigned(class Variable {
+export default define(class Variable {
   constructor(string, node, type, identifier, propertyRelations) {
     this.string = string;
     this.node = node;
@@ -134,7 +134,7 @@ export default domAssigned(class Variable {
         termUnifies = true;
       }
     } else {
-      const { TermSubstitution } = dom,
+      const { TermSubstitution } = ontology,
             context = specificContext,  ///
             variable = this,  ///
             termSubstitution = TermSubstitution.fromTernAndVariable(term, variable, context),
@@ -214,7 +214,7 @@ export default domAssigned(class Variable {
   }
 
   static fromVariableDeclarationNode(variableDeclarationNode, context) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           provisional = variableDeclarationNode.isProvisional(),
           typeNode = variableDeclarationNode.getTypeNode(),
           type = typeFromTypeNode(typeNode, context);
@@ -255,7 +255,7 @@ export default domAssigned(class Variable {
 });
 
 function variableFromVariableNodeAndType(variableNode, type) {
-  const { Variable } = dom,
+  const { Variable } = ontology,
         node = variableNode,  ///
         variableIdentifier = variableNode.getVariableIdentifier(),
         string = variableIdentifier,  ///,

package/src/ontology.js

@@ -0,0 +1,13 @@
+"use strict";
+
+const ontology = {};
+
+export function define(Class) {
+  const { name } = Class;
+
+  ontology[name] = Class;
+
+  return Class;
+}
+
+export default ontology;

package/src/preamble.js

@@ -1,61 +1,61 @@
 "use strict";
 
-import Type from "./dom/type";
-import Term from "./dom/term";
-import Rule from "./dom/rule";
-import Step from "./dom/step";
-import Label from "./dom/label";
-import Axiom from "./dom/axiom";
-import Lemma from "./dom/lemma";
-import Frame from "./dom/frame";
-import Proof from "./dom/proof";
-import Error from "./dom/error";
-import Premise from "./dom/premise";
-import Theorem from "./dom/theorem";
-import Section from "./dom/section";
-import Equality from "./dom/equality";
-import MetaType from "./dom/metaType";
-import Subproof from "./dom/subproof";
-import Variable from "./dom/variable";
-import Property from "./dom/property";
-import Parameter from "./dom/parameter";
-import Reference from "./dom/reference";
-import Statement from "./dom/statement";
-import Judgement from "./dom/judgement";
-import MetaLemma from "./dom/metaLemma";
-import Deduction from "./dom/deduction";
-import Signature from "./dom/signature";
-import TypePrefix from "./dom/typePrefix";
-import Conjecture from "./dom/conjecture";
-import Conclusion from "./dom/conclusion";
-import Derivation from "./dom/derivation";
-import Combinator from "./dom/combinator";
-import Hypothesis from "./dom/hypothesis";
-import Constructor from "./dom/constructor";
-import Declaration from "./dom/declaration";
-import Supposition from "./dom/supposition";
-import Metatheorem from "./dom/metatheorem";
-import Metavariable from "./dom/metavariable";
-import ProcedureCall from "./dom/procedureCall";
-import SubDerivation from "./dom/subDerivation";
-import TypeAssertion from "./dom/assertion/type";
-import DefinedAssertion from "./dom/assertion/defined";
-import PropertyRelation from "./dom/propertyRelation";
-import TermSubstitution from "./dom/substitution/term";
-import FrameSubstitution from "./dom/substitution/frame";
-import SubproofAssertion from "./dom/assertion/subproof";
-import PropertyAssertion from "./dom/assertion/property";
-import ContainedAssertion from "./dom/assertion/contained";
-import SatisfiesAssertion from "./dom/assertion/satisfies";
-import ProcedureReference from "./dom/procedureReference";
-import VariableDeclaration from "./dom/declaration/variable";
-import BracketedCombinator from "./dom/combinator/bracketed";
-import BracketedConstructor from "./dom/constructor/bracketed";
-import SimpleTypeDeclaration from "./dom/declaration/simpleType";
-import StatementSubstitution from "./dom/substitution/statement";
-import ReferenceSubstitution from "./dom/substitution/reference";
-import CombinatorDeclaration from "./dom/declaration/combinator";
-import TypePrefixDeclaration from "./dom/declaration/typePrefix";
-import ConstructorDeclaration from "./dom/declaration/constructor";
-import ComplexTypeDeclaration from "./dom/declaration/complexType";
-import MetavariableDeclaration from "./dom/declaration/metavariable";
+import Type from "./ontology/type";
+import Term from "./ontology/term";
+import Rule from "./ontology/rule";
+import Step from "./ontology/step";
+import Label from "./ontology/label";
+import Axiom from "./ontology/axiom";
+import Lemma from "./ontology/lemma";
+import Frame from "./ontology/frame";
+import Proof from "./ontology/proof";
+import Error from "./ontology/error";
+import Premise from "./ontology/premise";
+import Theorem from "./ontology/theorem";
+import Section from "./ontology/section";
+import Equality from "./ontology/equality";
+import MetaType from "./ontology/metaType";
+import Subproof from "./ontology/subproof";
+import Variable from "./ontology/variable";
+import Property from "./ontology/property";
+import Parameter from "./ontology/parameter";
+import Reference from "./ontology/reference";
+import Statement from "./ontology/statement";
+import Judgement from "./ontology/judgement";
+import MetaLemma from "./ontology/metaLemma";
+import Deduction from "./ontology/deduction";
+import Signature from "./ontology/signature";
+import TypePrefix from "./ontology/typePrefix";
+import Conjecture from "./ontology/conjecture";
+import Conclusion from "./ontology/conclusion";
+import Derivation from "./ontology/derivation";
+import Combinator from "./ontology/combinator";
+import Hypothesis from "./ontology/hypothesis";
+import Constructor from "./ontology/constructor";
+import Declaration from "./ontology/declaration";
+import Supposition from "./ontology/supposition";
+import Metatheorem from "./ontology/metatheorem";
+import Metavariable from "./ontology/metavariable";
+import ProcedureCall from "./ontology/procedureCall";
+import SubDerivation from "./ontology/subDerivation";
+import TypeAssertion from "./ontology/assertion/type";
+import DefinedAssertion from "./ontology/assertion/defined";
+import PropertyRelation from "./ontology/propertyRelation";
+import TermSubstitution from "./ontology/substitution/term";
+import FrameSubstitution from "./ontology/substitution/frame";
+import SubproofAssertion from "./ontology/assertion/subproof";
+import PropertyAssertion from "./ontology/assertion/property";
+import ContainedAssertion from "./ontology/assertion/contained";
+import SatisfiesAssertion from "./ontology/assertion/satisfies";
+import ProcedureReference from "./ontology/procedureReference";
+import VariableDeclaration from "./ontology/declaration/variable";
+import BracketedCombinator from "./ontology/combinator/bracketed";
+import BracketedConstructor from "./ontology/constructor/bracketed";
+import SimpleTypeDeclaration from "./ontology/declaration/simpleType";
+import StatementSubstitution from "./ontology/substitution/statement";
+import ReferenceSubstitution from "./ontology/substitution/reference";
+import CombinatorDeclaration from "./ontology/declaration/combinator";
+import TypePrefixDeclaration from "./ontology/declaration/typePrefix";
+import ConstructorDeclaration from "./ontology/declaration/constructor";
+import ComplexTypeDeclaration from "./ontology/declaration/complexType";
+import MetavariableDeclaration from "./ontology/declaration/metavariable";

package/src/{configure.js → prepare.js}

@@ -3,7 +3,7 @@
 import { DEFAULT_HELP, DEFAULT_VERSION } from "./defaults";
 import { HELP_COMMAND, VERSION_COMMAND } from "./commands";
 
-export default function configure(command, argument, options, main) {
+export default function prepare(command, argument, options, main) {
   const { help = DEFAULT_HELP, version = DEFAULT_VERSION } = options;
 
   if (false) {