Variable createFormula`Readonly`

createFormula: (expression: PropExpression) => PropFormula = createPropFormula

Type declaration

- (expression: PropExpression): PropFormula
- Converts a well-formed propositional expression into a tree-like PropFormula.
  Parameters
  - expression: PropExpression
    A validated propositional expression.
  Returns PropFormula
  The corresponding PropFormula.
  
  Throws
  If the expression is not a well-formed formula.