slang::ast::ImplicationConstraint class

Represents a constraint defined by an implication.