Function decrement a by 1

subtract 1 from a

Format:

decrement a by 1

Input:

list a -

Output:

list - None

Properties that reference this function:

decrement (list 0 and (list 1 and (empty list))) by 1 = list 1 and (empty list) (Decrement Unsigned Integer)

decrement (list 0 and (list 1 and (list x and xs))) by 1 = list 1 and (list 0 and (list x and xs)) (Decrement Unsigned Integer (2))

decrement (list 1 and xs) by 1 = list 0 and xs (Decrement Unsigned Integer (3))

(list x and xs) multiplied by (list y and (list y2 and ys)) = sum of unsigned integers (list x and xs) and ((list x and xs) multiplied by (decrement (list y and (list y2 and ys)) by 1)) (Multiply Unsigned Integers)

Comments

Please log in to add comments