hanssv

(* Multi-signature wallet from
   https://github.com/ethereum/dapp-bin/blob/master/wallet/wallet.sol

*)

contract multi_sig

type PendingState = { .yetNeeded : UInt, .ownersDone : UInt, .index : UInt }

type Event =

hanssv

(* Example from Solidity by Example
   http://solidity.readthedocs.io/en/develop/solidity-by-example.html

  Solidity code:
  /// Voting with delegation.
  contract Ballot {
      // This declares a new complex type which will
      // be used for variables later.
      // It will represent a single voter.
      struct Voter {

hanssv

(* Example from Solidity by Example
   http://solidity.readthedocs.io/en/develop/introduction-to-smart-contracts.html

   The Solidity code:

   contract SimpleStorage {
       uint storedData;

       function set(uint x) {
           storedData = x;