_↑--

Definitions:

read number/write ⊥
Source: /avail/Avail/Foundation/Variables
Categories: Variables, Mathematics, Integers
Decrement the variable by one. This is intended for use as a statement.
Position Name Type Description
Parameters
1 var read number/write ⊥ A numeric variable.
Returns ⊤

Semantic restrictions:

(read number/write ⊥)'s type
Source: /avail/Avail/Foundation/Variables
The autodecrement statement should accept only numeric variables.
Type Description
Parameter Types
(read number/write ⊥)'s type