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