Simple ROFO

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "A")
            (Role "A")
            (Token "" "SHARE")
            (Constant 10)
        )
        (When
            [Case
                (Deposit
                    (Role "A")
                    (Role "B")
                    (Token "" "")
                    (Constant 100000000)
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "ROFO: Price"
                                (Role "A")
                            )
                            [Bound 0 1000000000]
                        )
                        (When
                            [Case
                                (Choice
                                    (ChoiceId
                                        "ROFO: #Shares"
                                        (Role "A")
                                    )
                                    [Bound 0 10]
                                )
                                (When
                                    [Case
                                        (Deposit
                                            (Role "A")
                                            (Role "ROFO")
                                            (Token "" "")
                                            (ChoiceValue
                                                (ChoiceId
                                                    "ROFO: Price"
                                                    (Role "A")
                                                ))
                                        )
                                        (When
                                            [Case
                                                (Deposit
                                                    (Role "ROFO")
                                                    (Role "ROFO")
                                                    (Token "" "ROFO")
                                                    (Constant 1)
                                                )
                                                (Pay
                                                    (Role "A")
                                                    (Account (Role "ROFO"))
                                                    (Token "" "SHARE")
                                                    (ChoiceValue
                                                        (ChoiceId
                                                            "ROFO: #Shares"
                                                            (Role "A")
                                                        ))
                                                    (Pay
                                                        (Role "A")
                                                        (Account (Role "B"))
                                                        (Token "" "SHARE")
                                                        (SubValue
                                                            (Constant 10)
                                                            (ChoiceValue
                                                                (ChoiceId
                                                                    "ROFO: #Shares"
                                                                    (Role "A")
                                                                ))
                                                        )
                                                        (Pay
                                                            (Role "A")
                                                            (Account (Role "B"))
                                                            (Token "" "")
                                                            (MulValue
                                                                (ChoiceValue
                                                                    (ChoiceId
                                                                        "ROFO: #Shares"
                                                                        (Role "A")
                                                                    ))
                                                                (Constant 10000000)
                                                            )
                                                            Close 
                                                        )
                                                    )
                                                )]
                                            (TimeParam "timeout 1: right of first refusal")
                                            (Pay
                                                (Role "A")
                                                (Account (Role "B"))
                                                (Token "" "SHARE")
                                                (Constant 10)
                                                Close 
                                            )
                                        )]
                                    (TimeParam "timeout 1: right of first refusal")
                                    (Pay
                                        (Role "A")
                                        (Account (Role "B"))
                                        (Token "" "SHARE")
                                        (Constant 10)
                                        Close 
                                    )
                                )]
                            (TimeParam "timeout 1: right of first refusal")
                            (Pay
                                (Role "A")
                                (Account (Role "B"))
                                (Token "" "SHARE")
                                (Constant 10)
                                Close 
                            )
                        )]
                    (TimeParam "timeout 1: right of first refusal")
                    (Pay
                        (Role "A")
                        (Account (Role "B"))
                        (Token "" "SHARE")
                        (Constant 10)
                        Close 
                    )
                )]
            (TimeParam "timeout 2: overall")
            Close 
        )]
    (TimeParam "timeout 2: overall")
    Close 

playground.marlowe.json

{}