package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.Ptip`Source

Sourcemodule F = Lang.F

Sourcemodule Env = Plang.Env

Sourcetype 'a printer = Format.formatter -> 'a -> unit

Sourcetype v_fold = [

]

Sourcetype v_term = [

]

Sourcetype part =

Sourceclass autofocus : object ... end

Sourceclass type term_wrapper = object ... end

Sourceclass type term_selection = object ... end

class plang : terms:term_wrapper -> focus:term_wrapper -> target:term_wrapper -> autofocus:
  term_selection -> object ... end

Sourceclass type part_marker = object ... end

Sourceclass type step_selection = object ... end

class pcond : parts:part_marker -> target:part_marker -> autofocus:step_selection -> plang:
  Pcond.state -> object ... end

Sourcetype target = part * F.term option

Sourcetype focus = [

]

Sourceclass pseq : autofocus:autofocus -> plang:plang -> pcond:pcond -> object ... end