Autoconfirmation Project

metadata.json

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

playground.marlowe

When
    [Case
        (Deposit
            (Role "escrow")
            (Role "buyer")
            (Token "" "")
            (Constant 200)
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "receive items confirmation"
                        (Role "buyer")
                    )
                    [Bound 1 1]
                )
                (Pay
                    (Role "escrow")
                    (Account (Role "seller"))
                    (Token "" "")
                    (Constant 200)
                    Close 
                )]
            (SlotParam "autoconfirmation deadline")
            (Pay
                (Role "escrow")
                (Account (Role "seller"))
                (Token "" "")
                (Constant 200)
                Close 
            )
        )]
    20 Close 

playground.marlowe.json

{}