'#Uq_engines_compat.engine ->
('Uq_engines_compat.final_state -> 'Uq_engines_compat.final_state) ->
['b] Uq_engines_compat.engine