and (leftOperand rightOperand -- combinedValue)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

and (leftOperand rightOperand -- combinedValue)

Inputs

leftOperand: Left operand of the logical or bitwise operation.

rightOperand: Right operand of the logical or bitwise operation.

Outputs

combinedValue: AND result in the operand schema.

and accepts same-schema Cond, Nat, and Int values. Both inputs are dereferenced and must be non-NIL. The result keeps that schema.

This is not short-circuit control flow. By the time and runs, both operands are already on the data stack.

Behavior

For Cond, the operation is logical conjunction. The absorbing value is FALSE and the identity value is TRUE.

For Nat and Int, the operation is bitwise AND. The absorbing value is zero and the identity value is the all-bits-set value of that schema.

For Int schemas, the bitwise result is computed on the schema's fixed-width bit pattern and then interpreted again as the same Int schema.

If one operand is known to be the absorbing value, the result is known immediately.

If one operand is known to be the identity value, the result follows the other operand.

If both operands are known at compile time, the result is computed at compile time. Otherwise, the builtin produces an unknown result of the same schema.

Example

{} () {} [ "-- no short-circuit cond --" printCompilerMessage "-- left operand --" printCompilerMessage FALSE "-- right operand --" printCompilerMessage TRUE and printStack _:; "-- cond --" printCompilerMessage TRUE TRUE and printStack _:; TRUE FALSE and printStack _:; unknownCond: FALSE dynamic; FALSE unknownCond and printStack _:; TRUE unknownCond and printStack _:; "-- nat32 masks --" printCompilerMessage 0xF0n32 0xCCn32 and printStack _:; 0xFFFFFFFFn32 0xCCn32 and printStack _:; 0n32 0xCCn32 and printStack _:; unknownNat: 0n32 dynamic; 0n32 unknownNat and printStack _:; 0xFFFFFFFFn32 unknownNat and printStack _:; "-- int32 bitwise --" printCompilerMessage -1 6 and printStack _:; 6 3 and printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- no short-circuit cond -- -- left operand -- -- right operand -- FALSE -- cond -- TRUE FALSE FALSE Cond -- nat32 masks -- 192n32 204n32 0n32 0n32 Nat32 -- int32 bitwise -- 6 2