sig   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   type data   val merge :     State_builder.Weak_hashtbl.data -> State_builder.Weak_hashtbl.data   val add : State_builder.Weak_hashtbl.data -> unit   val clear : unit -> unit   val count : unit -> int   val iter : (State_builder.Weak_hashtbl.data -> unit) -> unit   val fold : (State_builder.Weak_hashtbl.data -> '-> 'a) -> '-> 'a   val find :     State_builder.Weak_hashtbl.data -> State_builder.Weak_hashtbl.data   val find_all :     State_builder.Weak_hashtbl.data -> State_builder.Weak_hashtbl.data list   val mem : State_builder.Weak_hashtbl.data -> bool   val remove : State_builder.Weak_hashtbl.data -> unit end