And32:
PUBLIC
PROC [n:
INT]
RETURNS [table: AlpsBool.TableOfVariables] = {
expr: AlpsBool.Expression ← AlpsBool.true;
table ← AlpsBool.InitTableOfVariables[n+1];
FOR i:
INT
IN [1..n]
DO
table[i].name ← Rope.Cat["Input", Convert.RopeFromInt[i]];
expr ← AlpsBool.And[table, expr, AlpsBool.Var[i]];
ENDLOOP;
AlpsBool.AddOutput[table, NEW[AlpsBool.OutputRec ← [name: "Output", expr: expr]]];
};