package frama-c

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

Parameters

module _ : sig ... end

Signature

val no_element_of_string : string -> 'a
  • since Sodium-20150201
module Bool (_ : sig ... end) : Parameter_sig.Bool
module WithOutput (_ : sig ... end) : Parameter_sig.With_output
module Int (_ : sig ... end) : Parameter_sig.Int
module String (_ : sig ... end) : Parameter_sig.String
module Fc_Filepath = Filepath
module Filepath (_ : sig ... end) : Parameter_sig.Filepath

Builds a Site_dir from an existing one. The first parameter is the parent directory. The second gives the name of the directory to create.

Builds a User_dir from an existing one. The first parameter is the parent directory. The second gives the name of the directory to create.

Builds a User_dir_opt from an existing User_dir. The first parameter is the parent directory. The second gives the name of the directory to create (also used to create the option name), a possible environment variable name and the help message for the option.

module Custom (X : sig ... end) : Parameter_sig.Custom with type t = X.t

Allow using custom types as parameters.

module Enum (X : sig ... end) : Parameter_sig.S with type t = X.t

A fixed set of possible values, represented by a type t, intended to be a variant with only a finite number of possible constructions. Note that t must be comparable using Stdlib.compare.

exception Cannot_build of string
module Make_set (E : sig ... end) (_ : sig ... end) : Parameter_sig.Set with type elt = E.t and type t = E.Set.t
module Make_list (E : sig ... end) (_ : 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) (_ : 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) (_ : 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) (_ : 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