GuiTactic (frama-c-wp.Wp

class type composer = object ... end

class type browser = object ... end

class tactic : Wp.Tactical.t -> (Stdlib.Format.formatter ->
  Wp.Tactical.selection ->
  unit) -> object ... end

type auto_callback =
  depth:int ->
  width:int ->
  Wp.Strategy.heuristic list ->
  unit

class autosearch : unit -> object ... end

type callback = depth:int -> Wp.ProofStrategy.strategy option -> unit

class strategies : unit -> object ... end