functor
  (Local : sig val restore : Project.t -> Project.project -> unit end->
  functor (Info : INFO->
    sig
      val add_dependency : Project.t -> Project.t -> unit
      val remove_computation : reset:bool -> Project.t -> unit
      val self : Project.t
      module Register :
        functor (State : sig val clear : Project.project -> unit end->
          functor (Info : INFO-> MINIMAL_OUTPUT
    end