_bit∧_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 2 _bit∧_

Definitions:

integer, integer
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Integers, Mathematics, Bits
Compute and answer the bitwise AND of the arguments.
Position Name Type Description
Parameters
1 arg1 integer An integer.
2 arg2 integer An integer.
Returns (-∞..∞) The bitwise AND of arg1 and arg2.

Semantic restrictions:

integer's type, integer's type
Source: /avail/Avail/Foundation/Math
Strengthen bitwise-and operation.
Type Description
Parameter Types
integer's type
integer's type