EMF

metadata.json

{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "EMFwallet")
            (Role "User/Insuree")
            (Token "" "")
            (AvailableMoney
                (Role "User/InsureeWallet")
                (Token "" "")
            )
        )
        (If
            (ValueGE
                (Constant 1)
                (Constant 0)
            )
            (Pay
                (PK "0000000000000000000000000000000000000000000000000000000000000000")
                (Party (Role "User/Insuree"))
                (Token "" "")
                (ConstantParam "APR")
                ?contract
            )
            Close 
        )]
    (SlotParam "0")
    (When
        [Case
            (Choice
                (ChoiceId
                    "Withdraw"
                    (Role "User/Insuree")
                )
                [Bound 0 1]
            )
            (Pay
                (PK "0000000000000000000000000000000000000000000000000000000000000000")
                (Party (Role "EMFwallet"))
                (Token "" "")
                (AvailableMoney
                    (Role "EMFwallet")
                    (Token "" "")
                )
                (If
                    ?observation
                    ?contract1 Close 
                )
            )]
        0 ?contract
    )

playground.marlowe.json

{}