Module Codex_options.Custom

Parameters

module V : sig ... end

module _ : sig ... end

Signature

type t = V.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

val set_possible_values : string list -> unit

val get_possible_values : unit -> string list