functor (Info : State_builder.Info->   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 set : data -> unit     val get : unit -> data     val clear : unit -> unit     type elt = Cil_types.stmt     val add : elt -> unit     val remove : elt -> unit     val is_empty : unit -> bool     val mem : elt -> bool     val fold : (elt -> '-> 'a) -> '-> 'a     val iter : (elt -> unit) -> unit   end