object
  method abort : unit -> unit
  method event_system : Unixqueue.event_system
  method request_notification : (unit -> bool) -> unit
  method state : 'a Uq_engines.engine_state
end