Project

General

Profile

Download (83 Bytes) Statistics
| Branch: | Tag: | Revision:
1
node top (x: int) returns (ok: bool);
2
let
3
  ok = true -> pre (true -> x = 2); 
4
tel
(3-3/4)