1
0
This repository has been archived on 2025-03-31. You can view files and clone it, but cannot push or open issues or pull requests.
opal-examples/Blatt06/ListFunc.sign
2013-10-19 01:17:37 +02:00

6 lines
70 B
Plaintext

SIGNATURE ListFunc
IMPORT Seq COMPLETELY
IMPORT Nat COMPLETELY