'a Uq_engines.engine_state -> object method private notify : unit -> unit method request_notification : (unit -> bool) -> unit method private set_state : 'a Uq_engines.engine_state -> unit method state : 'a Uq_engines.engine_state end