scilla-parser 2.0.0

Scilla smart contract parser written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

scilla_version 0

(***************************************************)
(*             The contract definition             *)
(***************************************************)
contract Timestamp ()


transition EventTimestamp (bnum: BNum)
ts <-& TIMESTAMP(bnum);
e = { _eventname : "TS"; timestamp : ts };
event e
end