Help for this page

Select Code to Download

Select or download this

(define mystm
  (automaton init
...
    [done  : success]
  )
)