6 lines
70 B
Plaintext
6 lines
70 B
Plaintext
SIGNATURE ListFunc
|
|
|
|
IMPORT Seq COMPLETELY
|
|
IMPORT Nat COMPLETELY
|
|
|