flix
enum Polarity
case Positive
case Negative
Represents whether a body atom is positive or negated.