class provers : string -> object .. end
string ->
object
end
Toolbox.selector
method private load : unit -> unit
unit -> unit
method private save : unit -> unit