| tech,19-11-P86-1038,bq | be specified in a way which delays <term> | expansion | </term> to <term> disjunctive normal form </term> | #14852 To deal with this complexity, we describe how disjunctive values can be specified in a way which delays expansion to disjunctive normal form. |
