sig   type t = int   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 incr : unit -> unit   val set_range : min:int -> max:int -> unit   val get_range : unit -> int * int end