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 key   type data   val replace :     State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> unit   val add : State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> unit   val clear : unit -> unit   val length : unit -> int   val iter :     (State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> unit) -> unit   val iter_sorted :     ?cmp:(State_builder.Hashtbl.key -> State_builder.Hashtbl.key -> int) ->     (State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> unit) -> unit   val fold :     (State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> '-> 'a) ->     '-> 'a   val fold_sorted :     ?cmp:(State_builder.Hashtbl.key -> State_builder.Hashtbl.key -> int) ->     (State_builder.Hashtbl.key -> State_builder.Hashtbl.data -> '-> 'a) ->     '-> 'a   val memo :     ?change:(State_builder.Hashtbl.data -> State_builder.Hashtbl.data) ->     (State_builder.Hashtbl.key -> State_builder.Hashtbl.data) ->     State_builder.Hashtbl.key -> State_builder.Hashtbl.data   val find : State_builder.Hashtbl.key -> State_builder.Hashtbl.data   val find_all : State_builder.Hashtbl.key -> State_builder.Hashtbl.data list   val mem : State_builder.Hashtbl.key -> bool   val remove : State_builder.Hashtbl.key -> unit end