_<<_

Definitions:

integer, integer
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Numbers, Integers, Mathematics, Bits
Shift baseInteger to the left by shiftFactor bits. If baseInteger is negative then treat it as a right shift of the corresponding positive amount.
Position Name Type Description
Parameters
1 baseInteger integer An integer to shift.
2 shiftFactor integer How many bits to shift left (or right if negative).
Returns (-∞..∞) ⎣_<<_ × 2baseInteger⎦
Raises
too-large-to-represent exception

Semantic restrictions:

baseIntegerType, shiftFactorType
Source: /avail/Avail/Foundation/Math
Strengthen the result type of left-bitshift.
Type Description
Parameter Types
baseIntegerType integer's type
shiftFactorType integer's type
baseIntegerType, shiftFactorType
Source: /avail/Avail/Foundation/Math
Helper for strengthening the result type of bitshifts.
Type Description
Parameter Types
baseIntegerType integer's type
shiftFactorType integer's type
Returns integerType a stronger integer subtype