mrtnetwork

{-# LANGUAGE OverloadedStrings #-}
module CouponBondGuaranteed where

import Language.Marlowe.Extended.V1

main :: IO ()
main = printJSON cbg

-- We can set explicitRefunds True to run Close refund analysis
-- but we get a shorter contract if we set it to False