map_done:('-> 'Uq_engines.engine_state) ->
?map_error:(exn -> 'Uq_engines.engine_state) ->
?map_aborted:(unit -> 'Uq_engines.engine_state) ->
'#Uq_engines.engine -> ['b] Uq_engines.engine