package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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