fn make_pipe_construct(
(p, (t, (q, q_span))): (SpannedSymbolOrLiteral, (SpannedSymbolOrLiteral, (InstructionFragment, SimpleSpan))),
) -> InstructionFragment
Expand description
The pipe construct is described in section 6-2.8 “SPECIAL SYMBOLS” of the Users Handbook.
“ADXₚ|ₜQ” should be equivalent to “ADXₚ{Qₜ}*”. So during evaluation we will need to generate an RC-word containing Qₜ.