string ->
object
  method connect : (ProverWhy3.dp list -> unit) -> unit
  method fire : ProverWhy3.dp list -> unit
  method get : ProverWhy3.dp list
  method private load : unit -> unit
  method on_check : ProverWhy3.dp list -> (bool -> unit) -> unit
  method on_event : (unit -> unit) -> unit
  method on_value : ProverWhy3.dp list -> (unit -> unit) -> unit
  method private save : unit -> unit
  method send : (ProverWhy3.dp list -> unit) -> unit -> unit
  method set : ProverWhy3.dp list -> unit
  method set_enabled : bool -> unit
end