Class type Uq_resolver.engine

class type ['t] engine = object .. end

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