functor (Info : sig val name : string end->   sig     module D = Datatype     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 = Cil_datatype.Stmt.Map.Make(Datatype.String.Set).t     val get : unit -> data     val clear : unit -> unit     val set : data -> unit   end