package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Api_generatorSource

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