package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
module F = Lang.F
module Env = Plang.Env
type 'a printer = Format.formatter -> 'a -> unit
type v_fold = [
  1. | `Auto
  2. | `Visible
  3. | `Hidden
]
type v_term = [
  1. | v_fold
  2. | `Shared
  3. | `Name of string
]
type part =
  1. | Term
  2. | Goal
  3. | Step of Conditions.step
class autofocus : object ... end
class type term_wrapper = object ... end
class type term_selection = object ... end
class plang : terms:term_wrapper -> focus:term_wrapper -> target:term_wrapper -> autofocus: term_selection -> object ... end
class type part_marker = object ... end
class type step_selection = object ... end
class pcond : parts:part_marker -> target:part_marker -> autofocus:step_selection -> plang: Pcond.state -> object ... end
type target = part * F.term option
type focus = [
  1. | `Transient
  2. | `Select
  3. | `Focus
  4. | `Extend
  5. | `Reset
]
class pseq : autofocus:autofocus -> plang:plang -> pcond:pcond -> object ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct