Control.Broccoli

data X a

data E a

never

snapshot

snapshot_

accumulate

edge

justE

maybeE

filterE

data Setup a

runProgram

newX

newE

input

output

debugX

debugE