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