package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Self : sig ... end
module TSC : sig ... end
module OUT : sig ... end
module Pkg = Server.Package
val keywords : string list
val pp_descr : Stdlib.Format.formatter -> Md.text -> unit
val name_of_kind : [< `EXEC | `GET | `SET ] -> string
val makeDescr : ?indent:string -> Stdlib.Format.formatter -> Md.text -> unit
val getSelf : 'a option -> 'a
val makeJtype : ?self:Pkg.ident -> names:string Pkg.IdMap.t -> Pkg.jtype Frama_c_kernel.Pretty_utils.formatter
val jprim : Stdlib.Format.formatter -> string -> unit
val jkey : Stdlib.Format.formatter -> string -> unit
val jindex : Stdlib.Format.formatter -> string -> unit
val jcall : string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.IdMap.key -> unit
val jenum : string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.IdMap.key -> unit
val junion : jtype:(Stdlib.Format.formatter -> Pkg.jtype -> unit) -> make:(Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype list -> unit
val jrecord : make:(Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> (string * 'a) list -> unit
val jtuple : make:(Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val makeDecoder : ?self:Pkg.ident -> names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val typeOfParam : Pkg.paramInfo -> Pkg.jtype
val makeOrder : self:Pkg.ident -> names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val atomic : Pkg.jtype -> bool
val makeDefault : names:string Pkg.IdMap.t -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeRecursive : (Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeRecursive2 : (Stdlib.Format.formatter -> Pkg.jtype -> unit) -> Stdlib.Format.formatter -> Pkg.jtype -> unit
val makeDeclaration : Stdlib.Format.formatter -> string Pkg.IdMap.t -> Pkg.declInfo -> unit
type ranking = {
  1. mutable rank : int;
  2. mutable mark : int Pkg.IdMap.t;
  3. index : Pkg.declInfo Pkg.IdMap.t;
}
val depends : Pkg.declInfo -> Server__Package.ident list
val next : ranking -> Pkg.IdMap.key -> unit
val mark : ranking -> Pkg.declInfo -> unit
val mark_id : ranking -> Pkg.IdMap.key -> unit
val ranking : Pkg.declInfo list -> Pkg.declInfo list
val pkg_path : plugin:Pkg.plugin -> package:string list -> string
val makeIgnore : Stdlib.Format.formatter -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val makePackage : Pkg.packageInfo -> string -> Stdlib.Format.formatter -> unit
val generate : unit -> unit
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