(quote ||,Net,Net)

m||n -- joins nets or strings by concatenating them vertically. The baseline of the result is the baseline of the first one.

In this example, we build a large net with arrows to indicate the location of the baseline.

i1 : x = "x" | "3"^1

      3
o1 = x

o1 : Net
i2 : "<--- " | ( x || "" || x ) | " --->"

           3
o2 = <--- x  --->
          
           3
          x

o2 : Net

See also ||, |, Net, and stack.

topindexpreviousupnext