Module Codex_options.VariableDisplay

type t = string
val set : t -> unit
val add_set_hook : (t -> t -> unit) -> unit
val add_update_hook : (t -> t -> unit) -> unit
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
val get_function_name : unit -> string
val get_plain_string : unit -> string