into

(T.a : ‘a into U) -> U.‘a, operator

The reserved keyword into broadcasts the expression T.a into the table U.

Example:

table T = with
  [| as N |]
  [| 0 |]
  [| 1 |]
  [| 2 |]

x = 42

show table "" with
  (x into T)

into is often used to make the intended table explicit for literals or booleans, especially in filters or when multiple tables are in scope.

table Orders = with
  [| as Pid, as OrderDate, as Quantity |]
  [| "apple",  date(2020, 4, 15), 3 |]
  [| "apple",  date(2020, 4, 16), 7 |]
  [| "orange", date(2020, 4, 16), 2 |]

where true into Orders
  show table "Nothing filtered" with
    Orders.Pid
    Orders.OrderDate
    Orders.Quantity

The literal prefix syntax is equivalent to into for literals (for example, Orders.true).