fn make_pipe_construct(
(p, (t, maybe_spanned_q)): (SpannedSymbolOrLiteral, (SpannedSymbolOrLiteral, Option<(InstructionFragment, SimpleSpan)>)),
) -> InstructionFragmentExpand 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ₜ.