Module Codex_options.Filepath_map

Parameters

module V : sig ... end

module _ : sig ... end

Signature

type key = Fc_Filepath.t

type value = V.t

type t = V.t Fc_Filepath.Map.t

val set : t -> unit

val add_set_hook : (t -> t -> unit) -> unit

val add_update_hook : (t -> t -> unit) -> unit

val get : unit -> t

val clear : unit -> unit

val is_default : unit -> bool

val get_default : unit -> t

val option_name : string

val print_help : Stdlib.Format.formatter -> unit

val self : Frama_c_kernel.State.t

val name : string

val mark_as_computed : ?project:Frama_c_kernel.Project.t -> unit -> unit

val is_computed : ?project:Frama_c_kernel.Project.t -> unit -> bool

module Datatype : Frama_c_kernel.Datatype.S

val add_hook_on_update : (Datatype.t -> unit) -> unit

val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit

val equal : t -> t -> bool

val add_aliases : ?visible:bool -> ?deprecated:bool -> string list -> unit

val is_set : unit -> bool

val unsafe_set : t -> unit

val parameter : Frama_c_kernel.Typed_parameter.t

type elt = key * value

val is_empty : unit -> bool

val iter : (elt -> unit) -> unit

val fold : (elt -> 'a -> 'a) -> 'a -> 'a

val add : elt -> unit

module As_string : sig ... end

module Category : sig ... end

val find : key -> value

val mem : key -> bool