class ['a] meta_engine : 'a #engine -> ['a final_state] engine
['a]
'a #engine ->
['a final_state]
engine
maps the final state s to `Done s
s
`Done s
