where

(where T.a : boolean), table filter

The keyword where filters the specified table.

Example:

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

where T.N mod 2 == 0
  show table "filtered" a1b2 with T.N
User Contributed Notes
0 notes + add a note