Class Uq_engines_compat.meta_engine

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