mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
6 lines
60 B
Plaintext
6 lines
60 B
Plaintext
|
|
let unknown_p =
|
|
any
|
|
[ &p: int = 0
|
|
| &q: int = p ]
|