Class Uq_engines_compat.sync_engine

class [['a, 'b]] sync_engine : 'a #engine -> 'b #engine -> [('a * 'b)] engine