914915916917918919920921922923924
this.eatWhitespace(); boolean _temp1 = true; while (_temp1) { _temp1 = st.gravel.support.jvm.ReadStreamExtensions.peekFor_(_stream, '|'); if (_temp1) { _exp = _exp.$pipe$(Parser.this.parseTypeOperand()); Parser.this.eatWhitespace(); } } return _exp; }