Type guard to check if a value is a PropAtom. A PropAtom is a tuple with exactly one string element representing an atomic proposition.
The value to check
True if the value is a PropAtom
// Returns true for valid PropAtomisPropAtom(['p']); // trueisPropAtom(['myVariable']); // true Copy
// Returns true for valid PropAtomisPropAtom(['p']); // trueisPropAtom(['myVariable']); // true
// Returns false for invalid valuesisPropAtom(['p', 'q']); // false - too many elementsisPropAtom([]); // false - empty arrayisPropAtom([123]); // false - not a stringisPropAtom({ operator: 'Var', values: ['p'] }); // false - PropFormula, not PropAtom Copy
// Returns false for invalid valuesisPropAtom(['p', 'q']); // false - too many elementsisPropAtom([]); // false - empty arrayisPropAtom([123]); // false - not a stringisPropAtom({ operator: 'Var', values: ['p'] }); // false - PropFormula, not PropAtom
Type guard to check if a value is a PropAtom. A PropAtom is a tuple with exactly one string element representing an atomic proposition.