sbt.internal.util.logic.Logic
Represents the set of atoms in the heads of clauses and in the bodies (formulas) of clauses.
Concatenates this with as.
as
Atoms that cannot be true because they do not occur in a head.
Represents the set of atoms in the heads of clauses and in the bodies (formulas) of clauses.