Data.Logic.Harrison.Formulas.Propositional

antecedent

consequent

on_atoms

over_atoms

atom_union