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