functor (Data : Datatype.S) (Info : Info_with_size->   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 = Data.t     val merge : data -> data     val add : data -> unit     val clear : unit -> unit     val count : unit -> int     val iter : (data -> unit) -> unit     val fold : (data -> '-> 'a) -> '-> 'a     val find : data -> data     val find_all : data -> data list     val mem : data -> bool     val remove : data -> unit   end