Variable applyChecks`Readonly`

applyChecks: (
formulas: PropFormula[],
checks?: PropFormulaCheck[],
) => Record<PropFormulaCheck, boolean> = applyPropFormulaChecks

Type declaration

- (
  formulas: PropFormula[],
  checks?: PropFormulaCheck[],
  ): Record<PropFormulaCheck, boolean>
- Applies a series of propositional formula checks to an array of formulas.
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas to check.
  - checks: PropFormulaCheck[] = ...
    An array of check names to apply (defaults to all available checks).
  Returns Record<PropFormulaCheck, boolean>
  An object mapping each check name to its boolean result.