Mohsen mrtnetwork

## Main.hs
{-# 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
	{-# 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