DecisionTree

Contract decision trees

data DecisionStep x

data Party

data DecisionTree

unfoldDecisionTree

decisionTree

Basic step

data ProcessState

data ThreadState

data Blocked c

initialProcessState

currentContract

decisionStep

subst

each

Trade directions

data TradeDir

evalTradeDir

setThirdParty

flipTradeDir

tradeDirParties

Display tree instance

data ObsCondition