_×_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _+_
_-_
Argument 2 _×_
_÷_
_mod_
_+_
_-_

Definitions:

number, number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the product of the arguments.
Position Name Type Description
Parameters
1 multiplicand number The multiplicand.
2 multiplier number The multiplier.
Returns number The product of the multiplicand and the multiplier.
Raises
cannot-multiply-zero-and-infinity exception
extended integer's type, extended integer's type
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Integers, Types
Compute and answer the integer range type of the product of the argument types.
Position Name Type Description
Parameters
1 a extended integer's type
2 b extended integer's type
Returns extended integer's type The narrowest integer range type general enough to hold all possible products of the arguments' instances.

Semantic restrictions:

extended integer's type, extended integer's type
Source: /avail/Avail/Foundation/Math
Compute and answer the integer range type of the product of the argument types.
Type Description
Parameter Types
extended integer's type
extended integer's type
number, number
Source: /avail/Avail/Foundation/Early Math
Type Description
Parameter Types
number
number