make_pipe_construct

Function make_pipe_construct 

Source
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ₜ.