import { PropositionalVariable } from '../operations/propositional-variable';

export type AtomicFormula = PropositionalVariable;