package frama-c

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

Signatures containing the different functors which may be used to generate new command line options.

val no_element_of_string : string -> 'a
  • since Sodium-20150201
module Bool (X : sig ... end) : Bool
module Action (X : Input) : Bool
module False (X : Input) : Bool
module True (X : Input) : Bool
module WithOutput (X : sig ... end) : With_output
module Int (X : sig ... end) : Int
module Zero (X : Input_with_arg) : Int
module String (X : sig ... end) : String
module Fc_Filepath = Filepath
module Filepath (X : sig ... end) : Filepath
exception Cannot_build of string
module Make_set (E : sig ... end) (X : sig ... end) : Set with type elt = E.t and type t = E.Set.t
module Filled_string_set (X : sig ... end) : String_set
module Make_list (E : sig ... end) (X : sig ... end) : List with type elt = E.t and type t = E.t list
module Filepath_list (X : sig ... end) : Filepath_list
module Filepath_map (V : Value_datatype with type key = Fc_Filepath.Normalized.t) (X : sig ... end) : Map with type key = Fc_Filepath.Normalized.t and type value = V.t and type t = V.t Datatype.Filepath.Map.t
module Make_map (K : String_datatype_with_collections) (V : Value_datatype with type key = K.t) (X : sig ... end) : Map with type key = K.t and type value = V.t and type t = V.t K.Map.t

Parameter is a map where multibindings are **not** allowed.

module String_map (V : Value_datatype with type key = string) (X : sig ... end) : Map with type key = string and type value = V.t and type t = V.t Datatype.String.Map.t
module Kernel_function_map (V : Value_datatype with type key = Cil_types.kernel_function) (X : sig ... end) : Map with type key = Cil_types.kernel_function and type value = V.t and type t = V.t Cil_datatype.Kf.Map.t

As for Kernel_function_set, by default keys can only be defined functions. Use Parameter_customize.argument_may_be_fundecl to also include pure prototypes.

module Make_multiple_map (K : String_datatype_with_collections) (V : Multiple_value_datatype with type key = K.t) (X : sig ... end) : Multiple_map with type key = K.t and type value = V.t and type t = V.t list K.Map.t

Parameter is a map where multibindings are allowed.

module String_multiple_map (V : Multiple_value_datatype with type key = string) (X : sig ... end) : Multiple_map with type key = string and type value = V.t and type t = V.t list Datatype.String.Map.t

As for Kernel_function_set, by default keys can only be defined functions. Use Parameter_customize.argument_may_be_fundecl to also include pure prototypes.

val parameters : unit -> Typed_parameter.t list
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