sig
type t = string
val set : t -> unit
val add_set_hook : (t -> t -> unit) -> unit
val get : unit -> t
val clear : unit -> unit
val is_default : unit -> bool
val is_set : unit -> bool
val self : State.t
val name : string
val kind : State.kind
val mark_as_computed : ?project:Project.t -> unit -> unit
val is_computed : ?project:Project.t -> unit -> bool
module Datatype : Datatype.S
val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit
val equal : t -> t -> bool
val unsafe_set : t -> unit
val add_alias : string list -> unit
val set_possible_values : string list -> unit
val get_possible_values : unit -> string list
type value
val add_choice : string -> Plugin.INDEXED_VAL.value -> unit
val get_val : unit -> Plugin.INDEXED_VAL.value
end