Class Uq_engines.delegate_engine


class ['a] delegate_engine : 'a #engine -> ['a] engine
Turns an engine value into a class