package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp_gui.GuiTactic`Source

Sourceclass type composer = object ... end

Sourceclass type browser = object ... end

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

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

Sourceclass autosearch : unit -> object ... end

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

Sourceclass strategies : unit -> object ... end