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