Function empty list

empty list

Format:

empty list

Input:

Output:

list - None

Properties that reference this function:

sum of (empty list) (empty list) and carry bit 0 = empty list (Add List Carry)

sum of (empty list) (empty list) and carry bit 1 = list 1 and (empty list) (Add List Carry (2))

sum of (list x and xs) (empty list) and carry bit 0 = list x and xs (Add List Carry (3))

sum of (list 0 and xs) (empty list) and carry bit 1 = list 1 and xs (Add List Carry (4))

sum of (list 1 and xs) (empty list) and carry bit 1 = list 0 and (sum of xs (empty list) and carry bit 1) (Add List Carry (5))

sum of (empty list) (list y and ys) and carry bit 0 = list y and ys (Add List Carry (6))

sum of (empty list) (list 0 and ys) and carry bit 1 = list 1 and ys (Add List Carry (7))

sum of (empty list) (list 1 and ys) and carry bit 1 = list 0 and (sum of (empty list) ys and carry bit 1) (Add List Carry (8))

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

(list x and xs) multiplied by (list 0 and (empty list)) = list 0 and (empty list) (Multiply x By 0)

(list 0 and (empty list)) multiplied by (list y and ys) = list 0 and (empty list) (Multiply 0 By x)

(list x and xs) multiplied by (list 1 and (empty list)) = list x and xs (Multiply by 1)

sum of x (empty list) and carry bit 0 = x (Add List Carry Property)

Comments

Please log in to add comments