sig   type t = string   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 option_name : string   val print_help : Format.formatter -> unit   val self : State.t   val name : string   val mark_as_computed : ?project:Project.t -> unit -> unit   val is_computed : ?project:Project.t -> unit -> bool   module Datatype : Datatype.S   val add_hook_on_update : (Datatype.t -> unit) -> unit   val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit   val equal : t -> t -> bool   val add_aliases : string list -> unit   val is_set : unit -> bool   val unsafe_set : t -> unit   val parameter : 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 end