package frama-c

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

Parameters

module P : sig ... end

Signature

val no_element_of_string : string -> 'a
  • since Sodium-20150201
module Bool (X : sig ... end) : Parameter_sig.Bool
module WithOutput (X : sig ... end) : Parameter_sig.With_output
module Int (X : sig ... end) : Parameter_sig.Int
module String (X : sig ... end) : Parameter_sig.String
module Fc_Filepath = Filepath
module Filepath (X : sig ... end) : Parameter_sig.Filepath
exception Cannot_build of string
module Make_set (E : sig ... end) (X : sig ... end) : Parameter_sig.Set with type elt = E.t and type t = E.Set.t
module Make_list (E : sig ... end) (X : sig ... end) : Parameter_sig.List with type elt = E.t and type t = E.t list
module Make_map (K : Parameter_sig.String_datatype_with_collections) (V : Parameter_sig.Value_datatype with type key = K.t) (X : sig ... end) : Parameter_sig.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 : Parameter_sig.Value_datatype with type key = string) (X : sig ... end) : Parameter_sig.Map with type key = string and type value = V.t and type t = V.t 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.

Parameter is a map where multibindings are allowed.

module String_multiple_map (V : Parameter_sig.Multiple_value_datatype with type key = string) (X : sig ... end) : Parameter_sig.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