EMF

metadata.json

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

playground.marlowe

When
    [Case
        (Deposit
            (PK "0000000000000000000000000000000000000000000000000000000000000000")
            (Role "User/Insuree")
            (Token "" "")
            (AvailableMoney
                (Role "User/InsureeWallet")
                (Token "" "")
            )
        )
        (Pay
            ?party
            (Party (Role "User/Insuree"))
            ?token
            ?value ?contract
        )]
    0 ?contract

playground.marlowe.json

{}