JmlMultiCompareExpr
constructor(range: TokenRange, expressions: NodeList<Expression>, ops: List<BinaryExpr.Operator>)(source)
constructor(tokenRange: TokenRange, expressions: NodeList<Expression>, operators: JmlMultiCompareExpr.Operators)(source)
This constructor is used by the parser and is considered private.