Class Uq_engines.meta_engine

class ['a] meta_engine : 'a #engine -> ['a final_state] engine

maps the final state s to `Done s