Project

General

Profile

Download (148 Bytes) Statistics
| Branch: | Tag: | Revision:
1 81306cb7 ploc
node f(x: int) returns (y: int)
2
let
3
  y = x -> pre x;
4
tel
5
6
node top (x: int) returns (ok: bool);
7
let
8
  ok = true -> pre (true -> f(x) = f(2)); 
9
tel