use case: DAO bug

[dckc]

Also from DAO bug typing:

type TB  = <getBalance>?( <rtn>! | TB )
  + <deposit>?( <ackDeposit>?TB )
  + <users.keys>( <ackWithdraw>?TB + <ackSend>?TB )

The line above says "... we simply disjoin the types of each case ..." which tells us how to read +. But logic.ml doesn't have disjunction. Ah... SLMC does:

| Or of formastnode * formastnode