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