DeferrableClause constructor

DeferrableClause(
  1. bool not,
  2. InitialDeferrableMode? declaredInitially
)

Implementation

DeferrableClause(this.not, this.declaredInitially);