specpro30

When
    [Case
        (Deposit
            (PK "ourbet")
            (Role "player1")
            (Token "" "")
            (Constant 15)
        )
        (When
            [Case

specpro30

Close 

specpro30

When
    [Case
        (Deposit
            (PK "ourbet")
            (Role "player1")
            (Token "" "")
            (Constant 15)
        )
        (When
            [Case

specpro30

When
    [Case
        (Deposit
            (PK "ourbet")
            (Role "player1")
            (Token "" "")
            (Constant 15)
        )
        (When
            [Case

specpro30

{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}

specpro30

When
    [Case
        (Deposit
            (Role "Client")
            (Role "Client")
            (Token "" "")
            (Constant 50)
        )
        (When
            [Case

specpro30

When
    [Case
        (Deposit
            (Role "Client")
            (Role "Client")
            (Token "" "")
            (Constant 50)
        )
        (When
            [Case

specpro30

{
"name": "TestPool",
"description": "The pool that tests",
"ticker": "GRGS8",
"homepage": "https://git.io/JL44m"
}