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